Εμφανίζονται 881 - 887 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 881
    Information Networking: Wired Communications and Management Wired Communications and Management /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…-layer Network Environment -- Using Symbolic Model Checking to Detect Service Interactions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 882
    Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 883
    Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 884
    Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Intrusion Detection in Zero Knowledge System Using Model Checking Approach -- Detecting Malicious users in P…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 885
    High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Security and Privacy Analysis of RFID Systems Using Model Checking -- ITB: Intrusion-Tolerant Broadcast…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 886
    Emerging Technologies for Information Systems, Computing, and Management
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Reliability Monitoring Algorithm in Multi-constellation Satellite Navigation -- CTL Model Checking Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 887
    Advanced Data Mining and Applications 13th International Conference, ADMA 2017, Singapore, November 5–6, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Convolutional Networks -- Behavior Modeling and User Profiling -- Modeling Check-in Behavior with Geographical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email