Εμφανίζονται 721 - 740 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 721
    Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Boundary Value Coverage: Effectiveness and Efficiency -- Model-Checking Erlang – A Comparison between…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 722
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 723
    Database Theory - ICDT 2005 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Invited Papers -- Model Checking for Database Theoreticians -- The Design Space of Type Checkers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 724
    Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 725
    Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Mechanics -- On Model-Checking of P Systems -- Looking for Simple Common Schemes to Design Recognizer P…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 726
    Frontiers in Algorithmics Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Minimal Cograph Completions -- Efficient First-Order Model-Checking Using Short Labels -- Matching…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 727
    Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Talks -- Spiking Neural P Systems Used as Acceptors and Transducers -- Linear-Time Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 728
    Informatics in Control Automation and Robotics Selected Papers from the International Conference on Informatics in Control Automation and Robotics 2006 /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… through Model Checking Techniques -- Robotics and Automation -- Autonomous Gait Pattern for a Dynamic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 729
    Computer Security – ESORICS 2009 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… or Threat? -- Model-Checking DoS Amplification for VoIP Session Initiation -- The Wisdom of Crowds: Attacks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 730
    Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… for Modal Logic K Model Checking -- Building an Epistemic Logic for Argumentation -- A Unifying Perspective…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 731
    Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…-Aware Software Model Checking of Message-Passing Systems -- Oblivious Assignment with m Slots -- BLIP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 732
    Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Specifications with CTL Properties Using Bounded Model Checking -- Toward Short and Structural -Reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 733
    Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Infrastructure Mapping in Well-Structured Environments Using MAV -- Probabilistic Model Checking of Ant-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 734
    Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Programming the Web with High-Level Programming Languages -- On the Completeness of Model Checking -- Modal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 735
    UML 2000 - The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2-6, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… for Software Architecture Descriptions -- State Charts -- Rewrite Rules and Operational Semantics for Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 736
    Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Logic programming and model checking -- CAT: The Copying Approach to Tabling -- SICStus MT-A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 737
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Temporal Logic over Finite Time Structures -- Model Checking Games for the Alternation-Free ?-Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 738
    Applications of Graph Transformations with Industrial Relevance Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Diagrams into Collaboration Diagrams -- Meta-Modelling, Graph Transformation and Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 739
    Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of an Adaptive State Counting Algorithm -- A Model Checking based Approach for Detecting SDN Races -- Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 740
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Via Discrete-Time Approximation -- A Model Checking Language for Concurrent Value-Passing Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email