Вы здесь

Главная

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

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

Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021
Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 2019
Software Engineering and Middleware: Revised Selected Papers/4th International Workshop, SEM 2004. Linz, Austria, September 2004
Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications
Software Engineering: Revised Tutorial Lectures/ International Summer Schools, LASER 2013-2014, Elba, Italy,
Software Tools for Complex Distributed Systems: Toward Integrated Tool Environment
Software Verification Based on Linear Programming
Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems
Specifying Communication in Distributed Information Systems
Specifying Distributed Software Architectures
SPIN Model Checking and Software Verification: Proc./7th Intern. SPIN Workshop, Stanford, CA, USA, August-September 2000
Stabilization, Safety, and Security of Distributed Systems: Proc./23rd International Symposium, SSS 2021, Virtual Event, November 2021
Stabilization, Safety, and Security of Distributed Systems: Proc./International Symposium, SSS 2020, Austin,TX,USA, November 2020
STACS 97: Proc./14th Annual Symp. on Theoretical Aspects of Computer Science. Lubeck, Germany, February/March 1997
Static Allocation in Distributed Objectbase Systems: A Graphical Approach
Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021
Structural Information and Communication Complexity: Proc./27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 2020
Structural Information and Communication Complexity: Revised Selected Papers/25th International Colloquium, SIRICCO 2018, Ma'ale HaHamisha, Israel, June 2018
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019
Supercomputing Frontiers: Proc./5th Asian Conference, SCFA 2019, Singapore, March 2019
Supercomputing Frontiers: Proc./6th Asian Conference, SCFA 2020, Singapore, February 2020
Supporting Realistic OpenMP Applications on a Commodity Cluster of Workstations
Synchronous Thread Management in a Distributed Operating System s Micro Kernel
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems
System Analysis and Modeling: About Models: Revised Selected Papers/6th International Workshop, SAM 2010, Oslo, Norway, October 2010
System Analysis and Modeling: Models and Reusability: Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, September 2014
System Analysis and Modeling: Theory and Practice: Revised Selected Papers/7th International Workshop, SAM 2012, Innsbruck, Austria, October 2012
System Support for Object Groups
Task Allocation in Distributed Computing Systems
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
Technologies for E-Learning and Digital Entertainment: Proc./Second International Conference, Edutainment 2007. Hong Kong, China, June 2007
Testing Software and Systems: Proc./25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 2013
Testing Software and Systems: Proc./26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 2014
Testing Temporal Logic Properties in Distributed Systems
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
The Coign Automatic Distributed Partitioning System
The Column Protocol: A High Availability and Low Message Cost Solution for Managing Replicated Data
The Common Component Modeling Example: Comparing Software Component Models
The Design and Performance of a Pluggable Protocols Framework for Real-Time Distributed Object Computing Middleware
The Design of Distributed Systems - An Introduction to FOCUS
The Design of the Transis System
The Italian Cadastral Information System: A Real-Life Spatio-Temporal DBMS
The Model Checker SPIN
The Multi-Agent Programming Contest 2019: Agents Assemble - Block by Block to Victory
Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021
Theory and Applications of Models of Computation: Proc./15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 2019