Advertisement

© 2004

Building the Information Society

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

  • Renè Jacquart
Conference proceedings

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

    1. Front Matter
      Pages 1-1
    2. Patrick Ziegler, Klaus R. Dittrich
      Pages 3-12
    3. Domenico Beneventano, Sonia Bergamaschi
      Pages 19-24
    4. Chantal Reynaud
      Pages 25-30
  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

  • Book Title Building the Information Society
  • Book Subtitle IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France
  • Editors Rene Jacquart
  • Series Title IFIP International Federation for Information Processing
  • 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
  • Hardcover ISBN 978-1-4020-8156-9
  • Softcover ISBN 978-1-4757-8894-5
  • eBook ISBN 978-1-4020-8157-6
  • Series ISSN 1571-5736
  • Edition Number 1
  • Number of Pages XVIII, 761
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Performance and Reliability
    Theory of Computation
  • Buy this book on publisher's site