IFIP Congress Topical Sessions 2004: Toulouse, France

• 
  René Jacquart:
  Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. IFIP 156, Kluwer/Springer 2004, ISBN 1-4020-8156-1

Topic 1: Semantic Integration of Heterogeneous Data

• 
  Patrick Ziegler, Klaus R. Dittrich:
  Three decades of data integration - All problems solved? IFIP Congress Topical Sessions 2004: 3-12
• 
  Guy Pierra:
  The PLIB ontology-based approach to data integration. IFIP Congress Topical Sessions 2004: 13-18
• 
  Domenico Beneventano, Sonia Bergamaschi:
  The MOMIS methodology for integrating heterogeneous data sources. IFIP Congress Topical Sessions 2004: 19-24
• 
  Chantal Reynaud:
  Building scalable mediator systems. IFIP Congress Topical Sessions 2004: 25-30
• 
  Yamine Aït Ameur:
  Representation of procedural knowledge and its use to compute a form of subsumption. IFIP Congress Topical Sessions 2004: 31-36

Topic 2: Virtual Realities and New Entertainment

• 
  Marc Cavazza, Fred Charles, Steven J. Mead:
  Developing re-usable interactive storytelling technologies. IFIP Congress Topical Sessions 2004: 39-44
• 
  Adrian David Cheok, Kok Hwee Goh, Wei Liu, Jason Teo, Sze Lee Teo, Farzam Farbiz, Shang Ping Lee:
  Connecting the real world and virtual world through gaming. IFIP Congress Topical Sessions 2004: 45-50
• 
  Matthias Rauterberg:
  Positive effects of entertainment technology on human behaviour. IFIP Congress Topical Sessions 2004: 51-58
• 
  Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, Ryohei Nakatsu:
  Realization of tai-chi motion using a humanoid robot - Physical interactions with humanoid robot. IFIP Congress Topical Sessions 2004: 59-64
• 
  Naoko Tosa:
  Storytelling for recreating our selves - Zenetic computer. IFIP Congress Topical Sessions 2004: 65-70
• 
  Henry Thomas:
  Interaction in a sensitive house - Future room that senses human mood and respond to it. IFIP Congress Topical Sessions 2004: 71-76

Topic 3: Fault Tolerance for Trustworthy and Dependable Information Infrastructures

• 
  Algirdas Avizienis:
  Dependable systems of the future - What is still needed? IFIP Congress Topical Sessions 2004: 79-90
• 
  Algirdas Avizienis, Jean-Claude Laprie, Brian Randell:
  Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions 2004: 91-120
• 
  Yoshihiro Tohma, Masao Mukaidono:
  Current research activities on dependable computing and other dependability issues in Japan. IFIP Congress Topical Sessions 2004: 121-134
• 
  Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk:
  The evolution of dependable computing at the University of Illinois. IFIP Congress Topical Sessions 2004: 135-164
• 
  Tom Anderson, Brian Randell, Alexander B. Romanovsky:
  Wrapping the future. IFIP Congress Topical Sessions 2004: 165-173
• 
  David A. Rennels, Milos D. Ercegovac:
  From the University of Illinois via JPL and UCLA to Vytautas Magnus University - 50 years of computer engineering by Algirdas Avizienis. IFIP Congress Topical Sessions 2004: 175-189
• 
  Pascal Traverse, Isabelle Lacaze, Jean Souyris:
  Airbus fly-by-wire - A total approach to dependability. IFIP Congress Topical Sessions 2004: 191-212
• 
  Ying C. (Bob) Yeh:
  Unique dependability issues for commercial airplane fly by wire systems. IFIP Congress Topical Sessions 2004: 213-220
• 
  Hermann Kopetz:
  The fault-hypothesis for the time-triggered architecture. IFIP Congress Topical Sessions 2004: 221-233
• 
  Michele Morganti:
  Communications Dependability Evolution - Between Convergence and Competition. IFIP Congress Topical Sessions 2004: 235-240
• 
  Yves Deswarte, David Powell:
  Intrusion tolerance for Internet applications. IFIP Congress Topical Sessions 2004: 241-256
• 
  Shobha Vasudevan, Jacob A. Abraham:
  Static program transformations for efficient software model checking. IFIP Congress Topical Sessions 2004: 257-281
• 
  Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
  Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 282-304
• 
  Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan:
  Experimental research in dependable computing at Carnegie Mellon University - From Faults to Manifestations. IFIP Congress Topical Sessions 2004: 305-328
• 
  Hirokazu Ihara, Motohisa Funabashi:
  Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective. IFIP Congress Topical Sessions 2004: 329-356

Topic 4: Abstract Interpretation

• 
  Patrick Cousot, Radhia Cousot:
  Basic concepts of abstract interpretation. IFIP Congress Topical Sessions 2004: 359-366
• 
  Tal Lev-Ami, Roman Manevich, Shmuel Sagiv:
  TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions 2004: 367-375
• 
  Christian Ferdinand, Reinhold Heckmann:
  aiT: worst case execution time prediction by static program analysis. IFIP Congress Topical Sessions 2004: 377-383
• 
  Laurent Mauborgne:
  Astrée: verification of absence of run-time error. IFIP Congress Topical Sessions 2004: 385-392
• 
  Jean Souyris:
  Industrial experience of abstract interpretation-based static analyzers. IFIP Congress Topical Sessions 2004: 393-400

Topic 5: Multimodal Interaction

• 
  Laurence Nigay:
  Design space for multimodal interaction. IFIP Congress Topical Sessions 2004: 403-408
• 
  Marie-Luce Bourguet:
  Software design and development of multimodal interaction. IFIP Congress Topical Sessions 2004: 409-414
• 
  Yamine Aït Ameur, Nadjet Kamel:
  A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions 2004: 415-420
• 
  Fabio Paternò:
  Multimodality and multi-platform interactive systems. IFIP Congress Topical Sessions 2004: 421-426
• 
  Quentin Limbourg, Jean Vanderdonckt:
  Multimodality and context-aware adaptation. IFIP Congress Topical Sessions 2004: 427-432
• 
  Dave Raggett, Max Froumentin, Philipp Hoschka:
  Towards multimodal Web interaction - Web pages you can speak to and gesture at. IFIP Congress Topical Sessions 2004: 433-438

Topic 6: Computer Aided Inventing

• 
  Denis Cavallucci, Noel Leon:
  Towards "inventiveness-oriented" CAI tools. IFIP Congress Topical Sessions 2004: 441-452
• 
  Rosario Vidal, Elena Mulet, Belinda López-Mesa, M. Jose Bellés, Graham Thompson:
  Exploring the inclusion of design factors in Computer Aided Inventing. IFIP Congress Topical Sessions 2004: 453-459
• 
  Gaetano Cascini:
  State-of-the-art and Trends of Computer-Aided Innovation Tools - Towards the integration within the Product Development Cycle. IFIP Congress Topical Sessions 2004: 461-470
• 
  Michael S. Slocum:
  Computer aided comprehensive design for six sigma (DFSS) and axiomatic design (AD) - Computer Aided Performance Excellence (Cape). IFIP Congress Topical Sessions 2004: 471-474
• 
  Sergei Ikovenko:
  TRIZ and Computer Aided Inventing. IFIP Congress Topical Sessions 2004: 475-485
• 
  Noel Leon, Jorge Gutierez, Oscar Martinez, Carlos Castillo Trujillo:
  Optimization vs innovation in a CAE environment - Towards a "Computer Aided Inventing" Environment. IFIP Congress Topical Sessions 2004: 487-495

Topic 7: Emerging Tools and Techniques for Avionics Certification

• 
  Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels:
  Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504
• 
  Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin:
  Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. IFIP Congress Topical Sessions 2004: 505-510
• 
  Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid:
  Improving certification capability through automatic code generation. IFIP Congress Topical Sessions 2004: 511-520
• 
  Steven P. Miller:
  Early validation of requirements - A Case Study Using Formal Methods. IFIP Congress Topical Sessions 2004: 521-526
• 
  Jean Souyris, Denis Favre-Felix:
  Proof of properties in avionics. IFIP Congress Topical Sessions 2004: 527-535

Topic 8: The Convergence of Bio-Info-Nano-Technologies

Final papers not available at press time

Topic 9: E-learning

• 
  Xavier Delgado, Marie-Christine Jené:
  Running an e-learning Project: Technology, expertise, pedagogy. IFIP Congress Topical Sessions 2004: 541-550
• 
  Philippe Vidal, Julien Broisin, Erik Duval, Stefaan Ternier:
  Learning objects interoperability: The ARIADNE experience. IFIP Congress Topical Sessions 2004: 551-556
• 
  Gérard-Michel Cochard, Daniel Marquie:
  An e-learning version of the French higher education curriculum: "Computer methods for the companies management". IFIP Congress Topical Sessions 2004: 557-572

Topic 10: Perspectives on Ambient Intelligence

• 
  Vijay Masurkar:
  Perspectives on Computing for Service Providers of Intelligent Environments. IFIP Congress Topical Sessions 2004: 575-583
• 
  Emilio Mordini:
  Global Governance of the Technological Revolution. IFIP Congress Topical Sessions 2004: 585-592
• 
  Diane Whitehouse:
  e-Health - Making Healthcare Better for European Citizens: Challenges and Expectations. IFIP Congress Topical Sessions 2004: 593-595
• 
  Penny Duquenoy:
  Intelligent Ethics. IFIP Congress Topical Sessions 2004: 597-602

Topic 11: TRain: The Railway Domain - A Grand Challenge

• 
  Dines Bjørner:
  The TRain Topical Day - A foreword. IFIP Congress Topical Sessions 2004: 605-606
• 
  Dines Bjørner:
  TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. IFIP Congress Topical Sessions 2004: 607-611
• 
  Denis Sabatier:
  Reusing formal models - Domain capitalization via formalization. IFIP Congress Topical Sessions 2004: 613-619
• 
  Alistair A. McEwan, J. C. P. Woodcock:
  A refinement based approach to calculating a fault tolerant railway signal device. IFIP Congress Topical Sessions 2004: 621-627
• 
  Martin Penicka, Dines Bjørner:
  From railway resource planning to train operation - a brief survey of complementary formalisations. IFIP Congress Topical Sessions 2004: 629-636
• 
  Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn:
  Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642
• 
  Theo C. Giras, Zongli Lin:
  Stochastic train domain theory framework. IFIP Congress Topical Sessions 2004: 643-649
• 
  Takahiko Ogino:
  CyberRail - Information Infrastructure for New Intermodal Transport Business Model. IFIP Congress Topical Sessions 2004: 651-655
• 
  Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka:
  Towards a formal model of CyberRail. IFIP Congress Topical Sessions 2004: 657-664

Topic 12: Open-Source Software in Dependable Systems

• 
  Philippe David, Hélène Waeselynck, Yves Crouzet:
  Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions 2004: 667-677
• 
  Carl E. Landwehr:
  Trusting strangers: Open source software and security. IFIP Congress Topical Sessions 2004: 679-683
• 
  Cristina Gacek:
  An interdisciplinary perspective of dependability in open source software. IFIP Congress Topical Sessions 2004: 685-691
• 
  Shigeru Chiba:
  Is academic open source software dependable? IFIP Congress Topical Sessions 2004: 693-697
• 
  Cyrille Comar, Franco Gasperoni:
  Open source in dependable systems: Current and future business models. IFIP Congress Topical Sessions 2004: 699-710
• 
  Jiri Gaisler:
  An open-source VHDL IP library with Plug&Play configuration. IFIP Congress Topical Sessions 2004: 711-717
• 
  Serge Goiffon, Pierre Gaufillet:
  Linux: A multi-purpose executive support for civil avionics applications? IFIP Congress Topical Sessions 2004: 719-724
• 
  Jean-Michel Tanneau:
  A journey towards an OSS-aware organization. IFIP Congress Topical Sessions 2004: 725-733

Topic 13: Interdependencies of Critical Infrastructure

Final papers not available at press time

Topic 14: Social Robots - Challenges for Machine Intelligence

• 
  Raja Chatila, Georges Giralt:
  Social robots: Challenges for machine intelligence - Domain outline, main trends and issues. IFIP Congress Topical Sessions 2004: 739-740
• 
  Hirochika Inoue:
  Development of humanoids and new business structure. IFIP Congress Topical Sessions 2004: 741-742
• 
  Raja Chatila:
  Towards robot companions. IFIP Congress Topical Sessions 2004: 743
• 
  Kerstin Dautenhahn:
  Roles of robots in human society: Challenges and case studies. IFIP Congress Topical Sessions 2004: 745
• 
  Oussama Khatib, James Warren, Vincent De Sapio, Luis Sentis:
  Human-like motion from physiologically-based potential field. IFIP Congress Topical Sessions 2004: 747-748
• 
  Gerhard Sagerer:
  A Dialog Based Interactive Robot. IFIP Congress Topical Sessions 2004: 749-750
• 
  Ben J. A. Kröse, Ali Taylan Cemgil, Wojciech Zajdel, Zoran Zivkovic:
  Tracking Humans. IFIP Congress Topical Sessions 2004: 751-752
• 
  Rüdiger Dillmann:
  Learning and Cooperative Multimodal Humanoid Robots. IFIP Congress Topical Sessions 2004: 753-754
• 
  Roland Siegwart, Shrihari Vasudevan, Adriana Tapus:
  From Geometric to Cognitive Maps - A Key Element for Personal Robots. IFIP Congress Topical Sessions 2004: 755-759
• 
  Kurt Konolige, Charlie Ortiz, Régis Vincent, Benoit Morisset, Andrew Agno, Michael Eriksen, Dieter Fox, Benson Limketkai, Jonathan Ko, Benjamin Stewart, Dirk Schulz:
  Centibots: Very Large Scale Distributed Robotic Teams. IFIP Congress Topical Sessions 2004: 761