Showing 801 - 820 results of 887 for search '"model checking"', query time: 0.18s Refine Results
  1. 801
    Electronic Healthcare Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-15, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “…Session 1: Telehealth and Mobile Health Solutions -- Model Checking for Robotic Guided Surgery…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 802
    Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Solution Equation Problem over Z p -- The Complexity of Model Checking Higher Order Fixpoint Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 803
    Information Security 8th International Conference, ISC 2005, Singapore, September 20-23, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Evaluating Access Control Policies Through Model Checking -- A Cryptographic Solution for General Access…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 804
    Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
    Published 2008
    Table of Contents: “… Constraints -- First-Order Model Checking Problems Parameterized by the Model -- Domain Theory and the Causal…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 805
    Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2 /
    Published 2016
    Table of Contents: “…-Order Singular Value Decomposition -- Model Checking Mutual Exclusion Algorithms Using UPPAAL.-Software…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 806
    Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings /
    Published 2009
    Table of Contents: “…-Checking for DisCSPs -- From Model-Checking to Temporal Logic Constraint Solving -- Exploiting Problem…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 807
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  8. 808
    Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Priority Scheduling of Distributed Systems Based on Model Checking -- Explaining Counterexamples Using…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 809
    Information and Communication Technology International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Proper Security Mechanisms.- A Recovery Approach for SQLite History Recorders from YAFFS2.- UVHM: Model…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 810
    Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
    Published 2008
    Table of Contents: “…: Some Examples -- Nested Petri Nets for Adaptive Process Modeling -- Checking Temporal Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 811
    Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Switch Fabric from Nortel Networks -- Constraint-Based Model Checking of Data-Independent Systems -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 812
    Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings /
    Published 2004
    Table of Contents: “… -- Verifying Communicating Agents by Model Checking in a Temporal Action Logic -- Qualitative Action Theory…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 813
    Information Security 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Verification -- Model-Checking Access Control Policies -- A Distributed High Assurance Reference Monitor…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 814
    From Theory to Practice in Multi-Agent Systems Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers /
    Published 2002
    Table of Contents: “… System -- Efficient Model Checking of Causal-Knowledge Protocols -- Volcano, a Vowels-Oriented Multi…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 815
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Published 2001
    Table of Contents: “… -- On Expressive and Model Checking Power of Propositional Program Logics -- An Extension of Dynamic Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 816
    Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /
    Published 1998
    Table of Contents: “… and Safety Critical Applications in Vehicles - A Time-Triggered Approach -- Model Checking Safety Critical…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 817
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Hardware and Software Memory Models -- Slicing Hierarchical Automata for Model Checking UML Statecharts…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 818
    Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
    Published 2003
    Table of Contents: “… -- Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results -- Verifiable Middleware…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 819
    Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
    Published 2003
    Table of Contents: “… and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 820
    Automata, Languages and Programming 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… (Extended Abstract) -- Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search