Nature of Computation and Communication
International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
Editors: Vinh, Phan Cong, Vassev, Emil, Hinchey, Mike (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.
- Table of contents (34 chapters)
-
-
Modular Design and Verification of Distributed Adaptive Real-Time Systems
Pages 3-12
-
Modeling Swarm Robotics with KnowLang
Pages 13-22
-
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems
Pages 23-32
-
Autonomic Computing Software for Autonomous Space Vehicles
Pages 33-41
-
Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems
Pages 42-52
-
Table of contents (34 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Nature of Computation and Communication
- Book Subtitle
- International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
- Editors
-
- Phan Cong Vinh
- Emil Vassev
- Mike Hinchey
- Series Title
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- Series Volume
- 144
- Copyright
- 2015
- Publisher
- Springer International Publishing
- Copyright Holder
- Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- eBook ISBN
- 978-3-319-15392-6
- DOI
- 10.1007/978-3-319-15392-6
- Softcover ISBN
- 978-3-319-15391-9
- Series ISSN
- 1867-8211
- Edition Number
- 1
- Number of Pages
- XIII, 371
- Number of Illustrations
- 150 b/w illustrations
- Topics
