Εμφανίζονται 841 - 860 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 841
    Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Reduction in Variable Precision Rough Set Model -- Checking Whether or Not Rough-Set-Based Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 842
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Decision Problems for Lower/Upper Bound Parametric Timed Automata -- On the Complexity of Ltl Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 843
    Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Applications -- Next-Generation Tactical-Situation-Assessment Technology (TSAT): Chat -- Tool Support for Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 844
    Artificial Intelligence in Medicine 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Information Extraction Method -- The Role of Model Checking in Critiquing Based on Clinical Guidelines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 845
    Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Shortcut to Information Security Management Success -- Intrusion Attack Tactics for the Model Checking of e…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… in a Service-Oriented Architecture -- Curriculum Model Checking: Declarative Representation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… in Wireless Sensor Networks -- Formal Verification of a Group Membership Protocol Using Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 849
    Intelligent Information Processing III IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20–23, Adelaide, Australia /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Up the Solution of Hamiltonian Cycle Problems -- Model Checking for Real-Time Temporal, Cooperation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 850
    Algorithms in computational molecular biology : techniques, approaches and applications /
    ανά Elloumi, Mourad
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Networks with Model Checking / Dragan Bo₍nacki, Ronny S Mans -- Reverse Engineering of Molecular Networks…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  11. 851
    RoboCup 2007: Robot Soccer World Cup XI
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Colour Space -- Model Checking Hybrid Multiagent Systems for the RoboCup -- Physical Simulation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… on the Industry 4.0 -- Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 853
    Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… on higher-order terms -- Model checking game properties of multi-agent systems -- Limited wavelength…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 854
    Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Approach to LTL Model Checking -- Reasoning about Message Passing in Finite State Environments -- Extended…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 855
    Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… step towards circuit complexity-theoretic analogs of Rice's theorem -- Model checking Real-Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 856
    Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Functions over the Real Numbers -- Model Checking with Multi-valued Logics -- The Complexity of Partition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… the Development of Business Processes -- Model Checking GSM-Based Multi-Agent Systems -- Towards Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 858
    Business Process Management Workshops BPM 2016 International Workshops, Rio de Janeiro, Brazil, September 19, 2016, Revised Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…: Finding More Balanced Solutions -- Simulation of Multi-Perspective Declarative Process Models -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 859
    PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Explainable ASP -- Block Argumentation -- DyNeMoC: Statistical Model Checking for Agent Based Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Static-Priority Global Multiprocessor Scheduling Using Model-Checking -- Soft Real-Time Task Response…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email