Εμφανίζονται 1.141 - 1.160 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 1141
    Parallel Computing Technologies 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Automata Evolution -- Resource Similarities in Petri Net Models of Distributed Systems -- Authentication…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1142
    Future Data and Security Engineering 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27-29, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…-Driven Engineering -- Big Data Analytics and Distributed Systems -- Framework for Peer-to-Peer Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1143
    Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Distributed Systems -- Solving Classic Problems in Distributed Systems: The Smart-Message Paradigm -- Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1144
    ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… to the design of distributed systems with B AMN -- Specifying reactive systems in B AMN -- An improved recipe…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1145
    Workshop on Wide Area Networks and High Performance Computing
    Έκδοση 1999
    Πίνακας περιεχομένων: “… on very-large scale distributed systems -- The DFN gigabitwissenschaftsnetz G-WiN -- On network resource…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1146
    The GENI Book
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1147
    Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Autonomous, Distributed Systems -- Formalizing Software Architectures for Embedded Systems -- Reliable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1148
    Distributed Computing 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Anonymous Distributed Systems -- A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion -- Message…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1149
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1150
    Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Resource Analysis of Distributed Systems -- Comparing Trace Expressions and Linear Temporal Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1151
    Scientific Engineering of Distributed Java Applications Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1152
    2020_Book_ReversibleComputationExtending.pdf
    Έκδοση 2020
    “… tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates…”
    Λήψη πλήρους κειμένου
  13. 1153
    Software Automatic Tuning From Concepts to State-of-the-Art Results /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in Homogeneous Distributed Systems -- Evolution to a General Paradigm -- Algorithmic Parameter Optimization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1154
    Transactions on Petri Nets and Other Models of Concurrency XII
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1155
    Enterprise Networks and Logistics for Agile Manufacturing
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Visualisation and Verification of Communication Protocols for Networked Distributed Systems -- Robustness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1156
    World of Computing A Primer Companion for the Digital Age /
    ανά O'Regan, Gerard, O'Regan, Gerard
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1157
    FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems -- On the Expressiveness of TPTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1158
    Intelligent Decision Systems in Large-Scale Distributed Environments
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1159
    Trust Management III Third IFIP WG 11.11 International Conference, IFIPTM 2009, West Lafayette, IN, USA, June 15-19, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Dynamic Environments -- Demonstration Abstracts -- WRS: The Wikipedia Recommender System -- Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1160
    Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email