Εμφανίζονται 1.021 - 1.040 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed system"', χρόνος αναζήτησης: 0,26δλ Περιορισμός αποτελεσμάτων
  1. 1021
    Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… Coloured Petri Nets - a gentle introduction to formal methods in a distributed systems course -- Transition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1022
    SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Analysis of Security Systems -- Development of Distributed Systems with SDL by Means of Formalized APIs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1023
    Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Technique for Object Oriented Modelling -- Section III -- An Actor Algebra for Specifying Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1024
    Computer Performance Evaluation. Modelling Techniques and Tools 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… for Distributed Systems with Soft Deadlines -- Markovian Arrival Processes and Phase-Type Distributions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1025
    Testing of Communicating Systems 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Checking Sequences for a Distributed Test Architecture -- Conformance of Distributed Systems -- An Automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1026
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… of concurrent and distributed systems by restricted timed automata -- Transformational formal development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1027
    Computational Intelligence Collaboration, Fusion and Emergence /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Computational Intelligence for the Collaborative Identification of Distributed Systems -- Collaboration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1028
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1029
    Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1030
    Wind Power Systems Applications of Computational Intelligence /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Carlo Hybrid Optimization Method -- Optimal Conductor Size Selection in Distribution Systems with Wind…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1031
    Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… to Self-management in Large-Scale Distributed Systems -- Autonomic Runtime System for Large Scale Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1032
    Sustainable Energy Technology and Policies A Transformational Journey, Volume 1 /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Technology -- 3. MICROGRIDS -- 4. Transition of Power Distribution System Planning from Passive to Active…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1033
    Control and Optimization Methods for Electric Smart Grids
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Synchronous Measurements in Power Distribution Systems -- The Influence of Time Delays on Decentralized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1034
    Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… for the Evaluation of Intelligent Power Distribution Systems -- Embedding Agents in Business Processes Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1035
    The Role of Community-Mindedness in the Self-Regulation of Drug Cultures A Case Study from the Shetland Islands /
    ανά Stallwitz, Anke
    Έκδοση 2012
    Πίνακας περιεχομένων: “… and Distributions Systems -- Chapter 13. Historical Transitions of Urban Drug Markets and Scenes -- Chapter 14…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1036
    New Trends in Earth-Science Outreach and Engagement The Nature of Communication /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Resources -- 16 A Real-Time Data Product Creation and Distribution System: Bringing Big Data’s Benefit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1037
    In Search of Better Governance in South Asia and Beyond
    Έκδοση 2013
    Πίνακας περιεχομένων: “….Malpractices in Public Distribution System:  Administrative or Political Factors -- 18.Revisiting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1038
    Data conversion handbook
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Data distribution systems using multiple DACs -- Digital pot applications -- Display electronics…”
    An electronic book accessible through the World Wide Web; click for information
    Ηλεκτρονική πηγή Βιβλίο
  19. 1039
    Peer-to-Peer Systems First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Distributed System -- Erasure Coding Vs. Replication: A Quantitative Comparison.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1040
    Vector and Parallel Processing - VECPAR'98 Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Distributed System for FEM Parallel Structural Analysis -- Dynamic Load Balancing in Crashworthiness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email