Вы здесь

Главная

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

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

Checking Verifications of Protocols and Distributed Systems by Computer
CHORUS: A Communication and Processing Architecture for Distributed Systems
Client-Access Protocols for Replicated Services
Cloud Computing - CLOUD 2020: Proc./13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
COBRA-Based Data Transfer for Financial Risk Management
COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded Systems for Low Overhead Fault Tolerance
Collaborative and Distributed Chemical Engineering: From Understanding to Substantial Design Support: Results of the IMPROVE Project
Collaborative Multimedia Systems: Synthesis of Media Objects
Coloured Petri nets approach to the validation of Estelle specifications
Combinatorics on Words: Proc./13th International Conference, WORDS 2021, Rouen, France, September 2021
Combining and Distributing Hierarchical Systems
Combining Graphical and Formal Development of Open Distributed Systems
Combining Model Checking and Deduction for I/O-Automata
Communcation Abstractions for Distributed Systems
Communication and Cooperation in Agent Systems: A Pragmatic Theory
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
Composing Specifications for Coordination
Compositional Refinement of Interactive Systems Modelled by Relations
Compositional Verification of Real-Time Applications
Computational Intelligence in Music, Sound, Art and Design: Proc./6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 2017
Computational Logic in Multi-Agent Systems: Proc./13th International Workshop, CLIMA XIII, Montpellier, France, August 2012
Computational Methods in Systems Biology: Proc./19th International Conference, CMSB 2021, Bordeaux, France, September 2021
Computational Science and Its Applications - ICCSA 2008: Part I: Proc./International Conference. Perugia, Italy, June/July 2008
Computational Science and Its Applications - ICCSA 2021: Part I: Proc./21st International Conference, Cagliari, Italy, September 2021
Computational Science - ICCS 2020, Part I: Proc./20th International Conference, Amsterdam, The Netherlands, June 2020
Computational Science - ICCS 2020, Part VII: Proc./20th International Conference, Amsterdam, The Netherlands, June 2020
Computer Aided Systems Theory - EUROCAST 2019, Part I: Revised Selected Papers/17th International Conference, Las Palmas de Gran Canaria, Spain, February 2019
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Algebra in Scientific Computing: Proc./23rd International Workshop, CASC 2021, Sochi, Russia, September 2021
Computer Information Systems and Industrial Management: Proc./15th IFIP TC8 International Cobference, CISIM 2016, Vilnius, Lithuania, September 2016
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Science - Theory and Applications: Proc./12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 2017
Conceptual Modeling - ER 97: Proc./16th Intern. Conf. on Conceptual Modeling. Los Angeles, CA, USA, November 1997
Concern-Based Composition and Reuse of Distributed Systems
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Concurrency Control in Transactional Drago
Concurrency, Specification, and Programming - CS&P 2004: Vol. 1: Petri Nets and Automata: Proc./Workshop. Caputh, September 24-26, 2004
Conflicts in Policy-Based Distributed Systems Management
Conformance of Distributed Systems
Consistency Issues in Distributed Checkpoints
Construction of Deadlock-free Designs of Communication Protocols from Observations
Content Computing: Proc./Advanced Workshop on Content Computing, AWCC 2004. ZhengJiang, JiangSu, China, November 2004
Cooperative Design, Visualization, and Engineering: Proc./11th International Conference, CDVE 2014, Seattle,WA,USA, September 2014
Cooperative Design, Visualization, and Engineering: Proc./4th International Conference, CDVE 2007. Shanghai, China, September 2007
Cooperative Environments for Distributed Systems Engineering: The Distributed Systems Environment Report
Cooperative Information Agents II - Learning, Mobility and Electronic Commerce for Information Discovery on the Internet: Proc./Second Intern. Workshop, CIA 98. Paris, France, July 1998
Cooperative Information Agents XI: Proc./11th International Workshop, CIA 2007. Delft, The Netherlands, September 2007