Εμφανίζονται 861 - 880 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,25δλ Περιορισμός αποτελεσμάτων
  1. 861
    Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Strategies in Peer-to-Peer Storage Systems -- Model Checking Coalition Nash Equilibria in MAD Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 862
    AI 2009: Advances in Artificial Intelligence 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Agents -- Experimental Market Mechanism Design for Double Auction -- Model Checking Games for a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 863
    Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Engineering 3 A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 864
    Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… through Model Checking of Formal Description of Dialog -- Formal Pattern Specifications to Facilitate Semi…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 865
    Computer Information Systems and Industrial Management 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- An Effective Initialization for ASM-Based Methods -- A Multiple Refinement Approach in Abstraction Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 866
    Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 867
    Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Problems An Outline of the Field of Work -- Comparing SAT Encodings for Model Checking -- Asynchronous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 868
    Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Uninitialized Systems -- Infinite-State High-Level MSCs: Model-Checking and Realizability -- Universal Inherence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 869
    FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… control an industrial application of light-weight formal methods using vdm -- Model-checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 870
    Building the Information Society IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Transformations for Efficient Software Model Checking -- Architectural Challenges for A Dependable Information…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 871
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Vulnerabilities Using Guided Model Checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 872
    Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for ARX System Disturbed by Complex Noise -- Abstraction for Model Checking the Probabilistic Temporal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 873
    Advances in Web and Network Technologies, and Information Management APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- SOA-Based Collaborative Modeling Method for Cross-Organizational Business Process Integration -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 874
    Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… by Parallel Statistical Model Checking -- Mobile access to on-line analytic bioinformatics tools -- isDNA: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 875
    Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Based Data Interchange -- Partial-Order Reduction in Model Checking Object-Oriented Petri Nets…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 876
    Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5-7, 2018, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Classification Based on Context -- Research on Data Visualization In Different Scenarios -- Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 877
    Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification -- Secured Paradigm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 878
    Bayesian inference in the social sciences /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  19. 879
    Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… of Deceit and Trust in Intercultural Trade -- Implementation of Epistemic Operators for Model Checking Multi…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 880
    Advanced Information Systems Engineering 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and Adaptation -- Verification of Payment Protocols via MultiAgent Model Checking -- SNet: A Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email