Вы здесь

Главная

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

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

MING-I: A Distributed Interactive Multimedia Document Development Mechanism
Mobile Agents Coordination in Mobadtl
Mobile Agents: Proc./First Intern. Workshop, MA 97. Berlin, Germany, April 1997
Mobile Processes with Local Clocks
Mobile, Secure, and Programmable Networking: Revised Selected Papers/6th International Conference, MSPN 2020, Paris, France, October 2020
Model and Data Engineering: Proc./10th International Conference, MEDI 2021, Tallinn, Estonia, June 2021
Model Based Formal Verification of Distributed Production Control Systems
Model Checking for Distributed Systems in the Modal Mu-calculus
Model Checking Probabilistic Distributed Systems
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./18th International SPIN Workshop, Snowbird,UT,USA, July 2011
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
Model Checking the Time to Reach Agreement
Model Checking with Finite Complete Prefixes Is PSPACE-Complete
Modeling and Analysing DART Systems Through High-Level Petri Nets
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Modeling and Using Context: Proc./7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 2011
Modeling and verification of SDL specified distributed systems using high-level Petri nets
Modeling with Filter Objects in Distributed Systems
Modelling, Analysis, and Simulation of Computer and Telecommunication Systems: Revised Selected Papers/28th International Symposium, MASCOTS 2020, Nice, France, November 2020
Modelling Darwin in the -calculus
Models and Software Model Checking of a Distributed File Replication System
Models in Software Engineering: Reports and Revised Selected Papers/Workshops and Symposia at MoDELS 2006 Genoa,Italy,October 2006
Modern Avionics Requirements for the Distributed Systems Annex
Modular Algebraic Nets to Specify Concurrent Systems
Monitoring and Securing Virtualized Networks and Services: Proc./8th IFIP WG 6.6 International Conference, AIMS 2014, Brno, Czech Republic, June 2014
Monitoring System for Distributed Java Applications
MSCPDL - A Language for Behavioural Abstraction
Multi-Agent Systems and Agreement Technologies: Revised Selected Papers/17th European Conference, EUMAS 2020 and 7th International Conference, AT 2020, Thessaloniki, Greece, September 2020
Multi-Agent Systems: Revised Selected Papers/12th European Conference, EUMAS 2014, Prague, Czech Republic, December 2014
Multiagent System Technologies: Proc./11th German Conference, MATES 2013, Koblenz, Germany, September 2013
Multilanguage Interoperability in Distributed Systems
Multiple Access Communications: Proc./7th International Workshop, MACOM 2014, Halmstad, Sweden, August 2014
Multiview Access Protocols for Large-Scale Replication
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
Nested Petri Nets for Adaptive Process Modeling
Nets of active resources for distributed systems modeling
Network and Parallel Computing: Proc./16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 2019
Network and Parallel Computing: Proc./18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 2021
Network and Parallel Computing: Proc./9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 2012
Network and Parallel Computing: Proc./IFIP International Conference, NPC 2008. Shanghai, China, October 2008
Network and Parallel Computing: Revised Selected Papers/17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 2020
Network-Based Information Systems: Proc./First International Conference, NBiS 2007. Regensburg, Germany, September 2007
Networked Systems: Proc./8th International Conference, NETYS 2020, Marrakech, Morocco, June 2020
Networked Systems: Proc./9th International Conference, NETYS 2021, Virtual Event, May 2021
Networked Systems: Revised Selected Papers/6th International Conference, NETYS 2018, Essaouira, Morocco, May 2018
Networked Systems: Revised Selected Papers/7th International Conference, NETYS 2019, Marrakesh, Morocco, June 2019
Next Generation Information Technologies and Systems: Proc./6th International Conference, NGITS 2006. Kibbutz Shefayim, Israel, July 2006
Next Generation Teletraffic and Wired/Wireless Advanced Networking: Proc./6th International Conference, NEW2AN 2006. St.Petersburg, Russia, May/June 2006
Numerical Computations: Theory and Algorithms, Part I: Revised Selected Papers/3rd International Conference, NUMTA 2019, Crotone, Italy, June 2019