Advertisement

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
    5. Pascal Traverse, Isabelle Lacaze, Jean Souyris
      Pages 191-212
    6. Michele Morganti
      Pages 234-240
    7. Yves Deswarte, David Powell
      Pages 241-256
    8. Shobha Vasudevan, Jacob A. Abraham
      Pages 257-281
    9. Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
      Pages 282-304
    10. Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan
      Pages 305-328
    11. Hirokazu Ihara, Motohisa Funabashi
      Pages 329-356
  5. Abstract Interpretation

    1. Front Matter
      Pages 357-357
    2. Patrick Cousot, Radhia Cousot
      Pages 359-366
    3. Tal Lev-Ami, Roman Manevich, Mooly Sagiv
      Pages 367-375
    4. Christian Ferdinand, Reinhold Heckmann
      Pages 377-383
    5. Laurent Mauborgne
      Pages 385-392
  6. Multimodal Interaction

    1. Front Matter
      Pages 401-401
    2. Laurence Nigay
      Pages 403-408
    3. Quentin Limbourg, Jean Vanderdonckt
      Pages 427-432
    4. Dave Raggett, Max Froumentin, Philipp Hoschka
      Pages 433-438
  7. Computer Aided Inventing

    1. Front Matter
      Pages 439-439
    2. Denis Cavallucci, Noel Leon
      Pages 441-452
    3. Rosario Vidal, Elena Mulet, Belinda López-Mesa, M. José Bellés, Graham Thompson
      Pages 453-459
    4. Sergei Ikovenko
      Pages 475-485
    5. Noel Leon, Jorge Gutierrez, Oscar Martinez, Carlos Castillo
      Pages 487-495

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
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
Electronics
Aerospace