Εμφανίζονται 921 - 940 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed system"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 921
    Computational Intelligence and Big Data Analytics Applications in Bioinformatics /
    Πίνακας περιεχομένων: “… -- Multiple DG Placement and Sizing in Radial Distribution System using Genetic Algorithm and Particle Swarm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 922
    Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study -- A Model Driven…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 923
    Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Agent Development in Open Distributed Systems -- simpA: A Simple Agent-Oriented Java Extension…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 924
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…ASLan++ — A formal security specification language for distributed Systems -- Orchestration under…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 925
    Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Fault-Tolerant Distributed System Verification -- Formalizing Integration Theory with an Application…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 926
    Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Oriented Architectures -- Short Papers – Theory, General and Distributed System Topics -- Can Solutions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 927
    Computer Performance Evaluation Modelling Techniques and Tools /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE·ED -- Tool Presentations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 928
    Intelligent Distributed Computing XI
    Έκδοση 2018
    Πίνακας περιεχομένων: “… and Analysis of IoT Energy Resource Exhaustion Attacks -- Part VII: Service-based Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 929
    Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Dependability Modeling and Certification of Cloud-Based Distributed Systems -- Design of a Transmission-Aware…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 930
    Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Application to Stepwise Refinement of Real-Time Systems -- Model Checking Probabilistic Distributed Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 931
    Advances in Exception Handling Techniques
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Distributed Systems -- Concurrent Exception Handling -- Exception Handling in Agent-Oriented Systems -- Action…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 932
    Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Modelled by Relations -- Toward Parametric Verification of Open Distributed Systems -- A Compositional Real…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 933
    Architecting Dependable Systems II
    Έκδοση 2004
    Πίνακας περιεχομένων: “… in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 934
    Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
    Πίνακας περιεχομένων: “… -- Annex D (normative): Real-Time Systems -- Annex E (normative): Distributed Systems -- Annex F (normative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 935
    Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…, and Information Systems -- Communication Abstractions for Distributed Systems -- Formal Techniques for Java-Like…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 936
    Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… to Scalability of Distributed systems -- BGP-Based Clustering for Scalable and Reliable Gossip Broadcast -- Trust…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 937
    System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…SDL and eODL -- Deployment and Configuration of Distributed Systems -- eODL and SDL in Combination…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 938
    Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Years of Analyzing Actors: Rebeca Experience -- Mathematical Models of Object-Based Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 939
    Worldwide Computing and Its Applications International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 Proceedings. /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… for Worldwide Object-Oriented Distributed Systems Environment -- A component-oriented architecture to design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 940
    Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Network Transmission of 3D Mesh Data Using Progressive Representation -- Application of Distributed System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email