"Nature of Computation and Communication" - Information and Links:

Nature of Computation and Communication - Info and Reading Options

International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

"Nature of Computation and Communication" was published by Springer International Publishing AG in 2015 - Cham, it has 1 pages and the language of the book is English.


“Nature of Computation and Communication” Metadata:

  • Title: ➤  Nature of Computation and Communication
  • Authors:
  • Language: English
  • Number of Pages: 1
  • Publisher: ➤  Springer International Publishing AG
  • Publish Date:
  • Publish Location: Cham

“Nature of Computation and Communication” Subjects and Themes:

Edition Specifications:

  • Weight: 5.854
  • Pagination: xiii, 371

Edition Identifiers:

AI-generated Review of “Nature of Computation and Communication”:


"Nature of Computation and Communication" Description:

Open Data:

Intro -- Preface -- Organization -- Contents -- Formal Methods for Self-Adaptive Systems -- Modular Design and Verification of Distributed Adaptive Real-Time Systems -- 1 Introduction -- 2 Timed CSP -- 3 Related Work -- 4 Timed Adaptive System Pattern -- 4.1 Abstract Model -- 4.2 Refined Model -- 4.3 Proving Refinement -- 5 Example -- 6 Conclusion and Future Work -- References -- Modeling Swarm Robotics with KnowLang -- 1 Introduction -- 2 Requirements for Self-adaptive Behavior -- 3 The Ensemble of Robots Case Study -- 4 Formalizing Swarm Robotics with KnowLang -- 5 Conclusion and Future Work -- References -- Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems -- 1 Introduction -- 2 Knowledge Collection and Understanding -- 3 KnowLang -- 4 Case Study -- 5 Conclusion and Future Work -- References -- Autonomic Computing Software for Autonomous Space Vehicles -- 1 Introduction -- 2 Related Work -- 3 Autonomic System Specification Language -- 4 Autonomic ANRs for BepiColombo Mission -- 5 Experiments -- 6 Conclusions -- References -- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems -- 1 Introduction -- 2 Example: Optimized Parking Lot Assignment -- 3 Background: Situation Calculus -- 4 The SALMA Approach -- 5 A Generic Model for Information Transfer -- 6 A High-Level Modeling Language for Information Transfer Processes -- 6.1 Usage of High-Level Constructs -- 6.2 Predicate-Based Addressing -- 7 Statistical Model Checking for Information Transfer -- 8 Experiments and Preliminary Evaluation -- 9 Related Work -- 10 Conclusion -- References -- Nature of Computation and Communication -- Categorical Structures of Self-adaptation in Collective Adaptive Systems -- 1 Introduction -- 2 Outline -- 3 Collective Adaptive Systems (CASs) -- 4 Self-adaptation -- 5 Categorical Structures of Self-adaptation

Read “Nature of Computation and Communication”:

Read “Nature of Computation and Communication” by choosing from the options below.

Search for “Nature of Computation and Communication” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Nature of Computation and Communication” in Libraries Near You:

Read or borrow “Nature of Computation and Communication” from your local library.

Buy “Nature of Computation and Communication” online:

Shop for “Nature of Computation and Communication” on popular online marketplaces.



Find "Nature Of Computation And Communication" in Wikipdedia