Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

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.)

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-15392-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-15391-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

    Göthel, Thomas (et al.)

    Pages 3-12

  • Modeling Swarm Robotics with KnowLang

    Vassev, Emil (et al.)

    Pages 13-22

  • Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems

    Bicocchi, Nicola (et al.)

    Pages 23-32

  • Autonomic Computing Software for Autonomous Space Vehicles

    Insaurralde, Carlos C. (et al.)

    Pages 33-41

  • Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems

    Kroiß, Christian (et al.)

    Pages 42-52

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-15392-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-15391-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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 and Tables
150 b/w illustrations
Topics