Showing 841 - 860 results of 887 for search '"model checking"', query time: 0.18s Refine Results
  1. 841
    Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Reduction in Variable Precision Rough Set Model -- Checking Whether or Not Rough-Set-Based Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 842
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Decision Problems for Lower/Upper Bound Parametric Timed Automata -- On the Complexity of Ltl Model…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 843
    Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
    Published 2007
    Table of Contents: “… Applications -- Next-Generation Tactical-Situation-Assessment Technology (TSAT): Chat -- Tool Support for Model…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 844
    Artificial Intelligence in Medicine 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Information Extraction Method -- The Role of Model Checking in Critiquing Based on Clinical Guidelines…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 845
    Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Shortcut to Information Security Management Success -- Intrusion Attack Tactics for the Model Checking of e…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 846
    Creating New Learning Experiences on a Global Scale Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Proceedings /
    Published 2007
    Table of Contents: “… in a Service-Oriented Architecture -- Curriculum Model Checking: Declarative Representation…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 847
    On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I /
    Published 2007
    Table of Contents: “… in Wireless Sensor Networks -- Formal Verification of a Group Membership Protocol Using Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 848
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 849
    Intelligent Information Processing III IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20–23, Adelaide, Australia /
    Published 2007
    Table of Contents: “… Up the Solution of Hamiltonian Cycle Problems -- Model Checking for Real-Time Temporal, Cooperation…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 850
    Algorithms in computational molecular biology : techniques, approaches and applications /
    by Elloumi, Mourad
    Published 2010
    Table of Contents: “… Networks with Model Checking / Dragan Bo₍nacki, Ronny S Mans -- Reverse Engineering of Molecular Networks…”
    Full Text via HEAL-Link
    eBook
  11. 851
    RoboCup 2007: Robot Soccer World Cup XI
    Published 2008
    Table of Contents: “… Colour Space -- Model Checking Hybrid Multiagent Systems for the RoboCup -- Physical Simulation…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 852
    Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings /
    Published 2015
    Table of Contents: “… on the Industry 4.0 -- Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 853
    Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
    Published 1998
    Table of Contents: “… on higher-order terms -- Model checking game properties of multi-agent systems -- Limited wavelength…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 854
    Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Approach to LTL Model Checking -- Reasoning about Message Passing in Finite State Environments -- Extended…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 855
    Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 /
    Published 1998
    Table of Contents: “… step towards circuit complexity-theoretic analogs of Rice's theorem -- Model checking Real-Time…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 856
    Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Functions over the Real Numbers -- Model Checking with Multi-valued Logics -- The Complexity of Partition…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 857
    Service-Oriented Computing – ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers /
    Published 2014
    Table of Contents: “… the Development of Business Processes -- Model Checking GSM-Based Multi-Agent Systems -- Towards Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 858
    Business Process Management Workshops BPM 2016 International Workshops, Rio de Janeiro, Brazil, September 19, 2016, Revised Papers /
    Published 2017
    Table of Contents: “…: Finding More Balanced Solutions -- Simulation of Multi-Perspective Declarative Process Models -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 859
    PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings /
    Published 2019
    Table of Contents: “… -- Explainable ASP -- Block Argumentation -- DyNeMoC: Statistical Model Checking for Agent Based Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 860
    Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers /
    Published 2007
    Table of Contents: “… for Static-Priority Global Multiprocessor Scheduling Using Model-Checking -- Soft Real-Time Task Response…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search