Εμφανίζονται 621 - 640 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 621
    Computer Security -- ESORICS 2002 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14-16, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Distributed Web Caches -- Analysing a Stream Authentication Protocol Using Model Checking -- Equal To The Task…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 622
    Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 623
    Detection of Intrusions and Malware, and Vulnerability Assessment Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Code by Model Checking -- Improving the Efficiency of Misuse Detection -- Distributed Intrusion…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 624
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… for Static and Runtime Verification: Framework and Applications.- Statistical Model Checking QoS Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 625
    Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Systems – Featuring ProFeat -- Statistical model checking of e-Motions domain-specific modeling languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 626
    Beyond Two: Theory and Applications of Multiple-Valued Logic
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Search Algorithms for Non-clausal Satisfiability -- Model Checking for Multi-valued Computation Tree…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 627
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…? -- Automatic Structures of Bounded Degree -- An Optimal Automata Approach to LTL Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 628
    Recent Advances in AI Planning 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… time and resource problem for planning architectures -- Planning via model checking: A decision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 629
    Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… and HOL -- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 630
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Memory Allocation and Deallocation for Pointer-Intensive Applications -- Space Reductions for Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 631
    Multiagent System Technologies First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Context -- From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 632
    Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Specifications -- Probe Mechanism for Object-Oriented Software Testing -- Model Checking Software via Abstraction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 633
    Informatics 10 Years Back. 10 Years Ahead /
    ανά Wilhelm, Reinhard, Wilhelm, Reinhard
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Problem in Model Checking -- A Political Issue: Open Source? -- From Research Software to Open Source…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 634
    Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 635
    Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Circuit Specifications -- Combined Formal Refinement and Model Checking for Real-Time Systems Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 636
    Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Complex Systems of Embedded Systems -- Software Evolution as the Key to Productivity -- Model-Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 637
    Transactions on Petri Nets and Other Models of Concurrency XII
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 638
    Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Simulation of Communication Protocols with StateC -- Integrating Model-Checking with UML-Based SoC…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 639
    Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 640
    Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email