Εμφανίζονται 1.381 - 1.400 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 1381
    SOFSEM '97: Theory and Practice of Informatics 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- The mobile agent technology -- Theory and practice in interactionally rich distributed systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1382
    SOFSEM 2000: Theory and Practice of Informatics 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Consensus Methods for Solving Conflicts of Data in Distributed Systems -- Optimisation of Artificial Neural…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1383
    Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Explicit Modeling of Influences, and of Their Absence, in Distributed Systems -- A Functional Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1384
    Interactive Distributed Multimedia Systems and Telecommunication Services 4th International Workshop, IDMS '97, Darmstadt, Germany, September 10-12, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… for distributed systems -- Achieving Networked Virtual Environments interoperability -- A redundant hierarchical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1385
    Coordination Models and Languages 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings /
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1386
    E-Commerce and Web Technologies 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Brokering Services in Cooperative Distributed Systems: Privacy-Based Model -- Position Paper -- Enterprise…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1387
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Distributed Systems -- Open Maps and Trace Semantics for Timed Partial Order Models -- Confidentiality…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1388
    Conceptual Modeling - ER 2000 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… in Distributed Systems -- Temporal and Active Database Modeling -- Temporal Constraints for Object Migration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1389
    Conceptual Modeling - ER '97 16th International Conference on Conceptual Modeling, Los Angeles, CA, USA, November 3-5, 1997. Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1390
    STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1391
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1392
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Distributed Systems -- Why Automata Models Are Sexy for Testers? (Invited Talk) -- Regular Papers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1393
    Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006 /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… on Distributed Systems -- m-ActiveCube; Multimedia Extension of Spatial Tangible User Interface -- Biologically…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1394
    Remote Instrumentation and Virtual Laboratories Service Architecture and Networking /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1395
    Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1396
    The Semantic Web: Research and Applications 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 –June 3, 2010, Proceedings, Part I /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1397
    Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… on Power Supply Line -- Data Integration in Computer Distributed Systems -- Load Balancing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1398
    Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…: An Immune System Inspired Search and Response Strategy for Distributed Systems -- Applied Artificial Immune…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1399
    Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1400
    UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Middleware-Mediated Distributed Systems -- Profile Suite for Model Transformations on the Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email