Вы здесь

Главная

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

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

Architecture of Computing Systems - ARCS 2017: Proc./30th International Conference, Vienna, Austria, April 2017
Architecture of Computing Systems - ARCS 2020: Proc./33rd International Conference, Aachen, Germany, May 2020
Architecture of Computing Systems: Proc./34th International Conference, ARCS 2021, Virtual Event, June 2021
Architekturen und Konzepte fur ein integriertes Management von verteilten Systemen
A Reactive Logical Agent
Artificial Immune Systems: Proc./6th International Conference, ICARIS 2007. Santos, Brazil, August 2007
Artificial Intelligence in Education: Proc./16th International Conference, AIED 2013, Memphis,TN,USA, July 2013
Artificial Neural Networks and Machine Learning - ICANN 2014: Proc./24th International Conference on ANN, Hamburg, Germany, September 2014
A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation
A Solution Relying on the Model Checking of Boolean Transition Systems
Aspects in Distributed Environments
Asserting Reasoning about Pairwise Transient Interactions in Mobile Computing
Assignment and Sheduling Communicating Periodic Tasks in Distributed Real-Time Systems
A Survey of Object-Oriented Petri Nets and Analysis Methods
A Symbolic State Space Representation
A Theory of Distributing Train Rescheduling
A Three-Level Architecture for Distributed Web Information Services
Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
A Traveling Salesman in Java
A UML Approach to the Design of Open Distributed Systems
Automata, Languages and Programming, Part I: Proc./38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 2011
Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems
Automated Technology for Verification and Analysis: Proc./8th International Symposium, ATVA 2010, Singapore, September 2010
Automatic Generation of Test Purposes for Testing Distributed Systems
Autonomic and Trusted Computing: Proc./Third International Conference, ATC 2006. Wuhan, China, September 2006
Basic Protocols: Specification Language for Distributed Systems
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
Benchmarking, Measuring, and Optimizing: Revised Selected Papers/2nd BenchCouricil International Symposium, Bench 2019, Cenver,CO,USA, November 2019
Benchmarking Peer-To-Peer Systems: Understandig Quality of Service in Large-Scale Distribured Systems
Benefits of Type Inference for an Object-Oriented Real-Time Language
Big Data - BigData 2020: Proc./9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
Blockchain - ICBC 2018: Proc./1st International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle,WA,USA, June 2018
Blockchain - ICBC 2020: Proc./3rd International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
Brain-Inspired Computing: Revised Selected Papers/4th International Workshop, BrainComp 2019, Cetraro, Italy, July 2019
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
Building Modern Distributed Systems
Building Robust Applications by Reusing Non-robust Legacy Software
Business Conversations: A High-Level System Model for Agent Coordination
Business System Management and Engineering: From Open Issues to Applications
Byzantine Agreement with Mixed Failure Types
CARP@ - A Reflection Based Tool for Observing Jini Services
Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints
CEDISYS Compositional Distributed Systems. State of the Art, Research Goals, References
Central European Functional Programming School: Revised Selected Papers/5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 2013
Chapter 1. Introduction
Chapter 2. Research and Development Projects
Chapter 3. Relevant Existing Practices
Chapter 4. Middleware
Checking Consistency of SDL+MSC Specifications
Checking Safety Properties Using Compositional Reachability Analysis