Building the Information Society

IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France

  • Renè Jacquart

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 156)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Semantic Integration of Heterogeneous Data

  3. Virtual Realities and New Entertainment

    1. Front Matter
      Pages 37-37
    2. Marc Cavazza, Fred Charles, Steven J. Mead
      Pages 39-44
    3. Adrian David Cheok, Goh Kok Hwee, Liu Wei, Jason Teo, Teo Sze Lee, Farzam Farbiz et al.
      Pages 45-50
    4. Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, Ryohei Nakatsu
      Pages 59-64
    5. Henry Thomas
      Pages 71-76
  4. Fault Tolerance for Trustworthy and Dependable Information Infrastructures

    1. Front Matter
      Pages 77-77
    2. Algirdas Avižienis, Jean-Claude Laprie, Brian Randell
      Pages 91-120
    3. R. K. Iyer, W. H. Sanders, J. H. Patel, Z. Kalbarczyk
      Pages 135-164
    4. Tom Anderson, Brian Randell, Alexander Romanovsky
      Pages 165-173

About these proceedings

Introduction

In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas.

Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence.

Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

Keywords

Computer Embedded System Hardwarebeschreibungssprache Linux Open Source calculus computer engineering embedded systems formal method formal specification model checking optimization verification

Editors and affiliations

  • Renè Jacquart
    • 1
  1. 1.ONERAFrance

Bibliographic information

  • DOI https://doi.org/10.1007/b98986
  • Copyright Information Springer Science + Business Media, Inc. 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-8156-9
  • Online ISBN 978-1-4020-8157-6
  • Series Print ISSN 1571-5736
  • About this book
Industry Sectors
Electronics
Aerospace
Automotive
Biotechnology