Вы здесь

Главная

распределенная система

Связанные издания:

Algorithmic Aspects of Cloud Computing: Revised Selected Papers/5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 2019
Algorithmic Aspects of Cloud Computing: Revised Selected Papers/6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 2021
Algorithms and Architectures for Parallel Processing, Part II: Proc./21 st International Conference, ICA3PP 2021, Virtual Event, December 2021
Algorithms and Architectures for Parallel Processing, Part I: Proc./20th International Conference, ICA3PP 2020, New York City,NY,USA, October 2020
Algorithms and Discrete Applied Mathematics: Proc./6th International Conference, CALDAM 2020, Hyderabad, India, February 2020
Algorithms and Discrete Applied Mathematics: Proc./7th International Conference, CALDAM 2021, Rupnagar, India, February 2021
Algorithms, Concurrency and Knowledge: Proc./1995 Asian Computing Science Conf., ACSC 95. Pathumthani, Thailand, December 1995
Algorithms for Sensor Systems: Proc./17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 2021
Algorithms for Sensor Systems: Revised Selected Papers/15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 2019
Algorithms for Sensor Systems: Revised Selected Papers/16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 2020
Algorithm Theory - SWAT 2008: Proc./11th Scandinavian Workshop on Algorithm Theory. Gothenburg, Sweden, July 2008
A Logical Basis for Component-Oriented Software and Systems Engineering
A Model Based Development Approach for Distributed Embedded Systems
A Modular Approach to Real-Time Synchronization
An Ada95 Implementation of a Network Coordination Language with Code Mobility
An Agent Mediated Approach to Dynamic Change in Coordination Policies
Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets
Analyzing Non-functional Properties of Mobile Agents
An Analyzer for Message Sequence Charts
An Approach to the Design of Distributed Systems with B AMN
An Architecture for Distributed OASIS Services
An Efficient Component Model for the Construction of Adaptive Middleware
An Efficient Marshaling Framework for Distributed Systems
A New Language Basic-Real for Specification and Verification of Distributed System Models
An Integrated Environment for the Design and Evalution of Distributed Systems
An Introduction to Oracles for Asynchronous Distributed Systems
An Object-Based Approach to the B Formal Method
A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
An Overview of Mobile Agent Programming
An Overview of Ulisse, a Distributed Single Address Space System
AOM: An Agent Oriented Middleware Based on Java
A Pattern System for Network Management Interfaces
A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
Application and Theory of Petri Nets and Concurrency: Proc./37th International Conference, PETRI NETS 2016, Torun, Poland, June 2016
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Application Recovery in Parallel Programming Environment
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
Applications of Evolutionary Computation, Part II: Proc./EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 2010
Applied Cryptography and Network Security, Part II: Proc./19th International Conference, ACNS 2021, Kamakura, Japan, June 2021
Applied Cryptography and Network Security, Part I: Proc./19th International Conference, ACNS 2021, Kamakura, Japan, June 2021
Applied Cryptography and Network Security, Workshops: Proc./ ACNS 2021 Satellite Workshops AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, and SiMLA, Kamakura, Japan, June 2021
Applied Parallel and Scientific Computing, Part I: Revised Selected Papers/10th International Conference, PARA 2010, Reykjavik, Iceland, June 2010
Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./16th International Symposium, ARC 2020, Toledo, Spain, April 2020
Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./17th International Symposium, ARC 2021, Virtual Event, June 2021
Applying Scalable Real Consistency to Data Replication
Approximation and Online Algorithms: Revised Selected Papers/17th International Workshop, WAOA 2019, Munich, Germany, September 2019
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
Architecting Dependable Systems IV
Architecture of Computing Systems - ARCS 2007: Proc./20th International Conference. Zurich, Switzerland, March 2007