Εμφανίζονται 1.101 - 1.120 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed system"', χρόνος αναζήτησης: 0,31δλ Περιορισμός αποτελεσμάτων
  1. 1101
    FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of CSP by Refinement -- Avoiding State Explosion for Distributed Systems with Timestamps -- Secrecy…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1102
    Trust and Privacy in Digital Business First International Conference, TrustBus 2004, Zaragoza, Spain, August 30-September 1, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Enabling Trust-Awareness in Naming Services -- Virtual Trust in Distributed Systems -- Modelling Trust…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1103
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Replication Protocol for Distributed Systems -- PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1104
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1105
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Static Program Analysis via 3-Valued Logic -- Open Modeling in Multi-stakeholder Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1106
    Quality of Service - IWQoS 2003 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Availability Based Service Differentiation -- Quality of Availability: Replica Placement for Widely Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1107
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem -- Scheduling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1108
    Software Reuse: Methods, Techniques, and Tools 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Composition and Reuse of Distributed Systems -- Reusable Web Services -- Code Level Reuse -- Quantifying COTS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1109
    Intelligent Methods and Big Data in Industrial Applications
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of Distributed Systems -- Implementing the Bus Protocol of a Microprocessor in a Software-Dened Computer -- ISMIS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1110
    Sharing Data, Information and Knowledge 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… on Biodiversity Informatics: Challenges in Modelling and Managing Biodiversity Knowledge -- Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1111
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Synthesis of Distributed Systems Using Event Structures -- The Inverse Method for the Logic of Bunched…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1112
    Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1113
    Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Rule-Driven RESTful Architecture for Distributed Systems -- Miscellaneous Rule Topics -- Visualizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1114
    Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… to the Clouds (On the Computability Power of Distributed Systems) -- Communication Complexity Lower Bounds…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1115
    Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1116
    Self-star Properties in Complex Information Systems Conceptual and Practical Foundations /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Self-* -- A Case for Design Methodology Research in Self-* Distributed Systems -- Enabling Autonomic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1117
    Advances in Databases and Information Systems 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Combining Efficient XML Compression with Query Processing -- Distributed Systems -- Fast User Notification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1118
    Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Resilience of Electrical Distribution Systems with Critical Load Prioritization -- Public tolerance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1119
    Recent Advances in Sensing Technology
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Field Range Imaging System -- Development of a Stereo Image Distribution System -- 4: Wireless Sensors…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1120
    Σχεδίαση και υλοποίηση πρωτοκόλλου για την υποστήριξη εξελιγμένων ομαδικών υπηρεσιών τηλεματικής
    ανά Σωτηριάδης, Φίλιππος
    Έκδοση 2007
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email