Εμφανίζονται 541 - 560 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 541
    Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Transformation Based Proof -- A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 542
    Computer Security – ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Synchronous Systems -- HBAC: A Model for History-Based Access Control and Its Model Checking -- From Coupling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 543
    Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 544
    Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… with Identity Annotations -- The Duality of State and Observation in Probabilistic Transition Systems -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 545
    Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Results for the Yubikey and YubiHSM -- Security Policies -- Boosting Model Checking to Analyse Large ARBAC…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 546
    Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 547
    Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Security Analysis of an IP Phone: Cisco 7960G -- Understanding SIP through Model-Checking -- Detecting VoIP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 548
    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 549
    Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Model Checking -- Formal Modelling of Separation Kernel Components -- Mechanized Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 550
    Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-Context Systems -- Coala: A Compiler from Action Languages to ASP -- DLV MC : Enhanced Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 551
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 552
    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- On the Polychronous Approach to Embedded Software Design -- Scaling up Model-checking -- Performance Debugging…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 553
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… to Break the Bank: Semantics of Capability Policies -- Model-Checking Circus State-Rich Specifications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 554
    Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Segmentation of 3D Biomedical Images -- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 555
    Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Specifications Using Preferred Answer Set Programming -- Model Checking Strategic Abilities of Agents Under…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 556
    Test and Analysis of Web Services
    Έκδοση 2007
    Πίνακας περιεχομένων: “… to Engineering Web Service Compositions and Choreography -- Model Checking with Abstraction for Web Services…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 557
    Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 558
    Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Analyzing Pathways Using SAT-Based Approaches -- Algorithmic Algebraic Model Checking IV: Characterization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 559
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 560
    Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Enforcement Via Ostracism -- Model Checking Norms and Sanctions in Institutions.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email