Вы здесь

Главная

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

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

Traverdi - Transformation and Verification of Distributed Systems
Trends in Distributed Systems. COBRA and Beyond: Proc./International Workshop TreDS 96. Aachen,Germany, Oktober 1996
Trends in Distributed Systems for Electronic Commerce: Proc./Intern. IFIP/GI Working Conf., TREC 98. Hamburg, Germany, June 1998
Trends in Distributed Systems: Towards a Universal Service Market: Proc./Third Intern. IFIP/GI Working Conf., USM 2000, Munich, Cermany, September 2000
Trends in Functional Programming: Revised Selected Papers/15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 2014
Trends in Functional Programming: Revised Selected Papers/18th International Symposium, TFP 2017, Canterbury, UK, June 2017
Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
Trends in Functional Programming: Revised Selected Papers/21st International Symposium, TFP 2020, Krakow, Poland, February 2020
Trends in Functional Programming: Revised Selected Papers/22nd International Symposium, TFP 2021, Virtual Event, February 2021
Trustworthy Global Computing: Revised Selected Papers/Third Symposium, TGC 2007. Sophia-Antipolis, France, November 2007
Typing the Use of Resources in a Concurrent Calculus
Ubicomp 2001 - Ubiquitous Computing: Proc./Intern. Conf., Atlanta, Georgia, USA, September 2001
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems
UML Modelling and Performance Analysis of Mobile Software Architectures
Using and Improving OpenMP for Devices, Tasks, and More: Proc./10th International Workshop on OpenMP, IWOMP 2014, Salvadr, Brazil, September 2014
Using JIT Compilation and Configurable Runtime Systems for Efficient Deployment of Java Programs on Ubiquitous Devices
Using PVM to Build an Interface to Support Cooperative Work in a Distributed Systems Environment
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems
Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018
Verification Based on Local States
Verification-Friendly Specification of Distributed Systems
Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021
Verification of Disributed Object-Based Systems
Verification of Distributed Systems Modelled by High-Level Petri Nets
Verification of Erlang Programs using Abstract Interpretation and Model Checking
Verification of Liveness Properties Using Compositional Reachability Analysis
Verification of Real-Time Designs: Combining Sheduling Theory with Automatic Formal Verification
Verification of UCM-Specifications of Distributed Systems Using Coloured Petri Nets
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Verifying Generic Erlang Client-Server Implementations
Verifying Part of the ACCESS.bus Protocol Using PVS
Verifying Progress in Timed Systems
Vertical Reuse in the Development of Distributed Systems with FDTs
Weak Consistency in Hybrid Group Update for Replication
Weak Refinement in Z
Web Information Systems and Mining: Proc./International Conference, WISM 2009, Shanghai, China, November 2009
Web Information Systems Engineering - WISE 2021, Part I: Proc./22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne,VIC,Australia, October 2021
Web Reasoning and Rule Systems: Proc./First International Conference, RR 2007. Innsbruck, Austria, June 2007
Web Services - ICWS 2020: Proc./27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
Web Services - ICWS 2021: Proc./28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021
Wireless Sensor Networks: Proc./5th European Conference, EWSN 2008. Bologna, Italy, January/February 2008
Wireless Sensor Networks: Proc./8th European Conference, EWSN 2011, Bonn, Germany, February 2011
Working Material for the Lectures of U. Montanari: International Summer School "Control Flow and Data Flow", Munich, Germany, August, 1984
Zones, Contracts and Absorbing Change: An Approach to Software Evolution
Автоматический анализ и верификация распределенных систем реального времени
Адаптивный стековый алгоритм универсального множественного доступа в распределенных сетях и сетях компьютеров
Алгоритм построения оптимальной компоновки одинаково распределенных систем
Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри