IFIP Congress Topical Sessions 2004:
Toulouse,
France
René Jacquart (Ed.):
Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France.
Kluwer 2004, ISBN 1-4020-8156-1 
Topic 1:
Semantic Integration of Heterogeneous Data
Topic 2:
Virtual Realities and New Entertainment
- Marc Cavazza, Fred Charles, Steven J. Mead:
Developing re-usable interactive storytelling technologies.
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.
45-50
- Matthias Rauterberg:
Positive effects of entertainment technology on human behaviour.
51-58
- Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, Ryohei Nakatsu:
Realization of tai-chi motion using a humanoid robot.
59-64
- Naoko Tosa:
Storytelling for recreating our selves - Zenetic computer.
65-70
- Henry Thomas:
Interaction in a sensitive house.
71-76
Topic 3:
Fault Tolerance for Trustworthy and Dependable Information Infrastructures
- Algirdas Avizienis:
Dependable systems of the future - What is still needed?
79-90
- Algirdas Avizienis, Jean-Claude Laprie, Brian Randell:
Dependability and its threats - A taxonomy.
91-120
- Yoshihiro Tohma, Masao Mukaidono:
Current research activities on dependable computing and other dependability issues in Japan.
121-134
- Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk:
The evolution of dependable computing at the University of Illinois.
135-164
- Tom Anderson, Brian Randell, Alexander B. Romanovsky:
Wrapping the future.
165-174
- 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.
175-190
- Pascal Traverse, Isabelle Lacaze, Jean Souyris:
Airbus fly-by-wire - A total approach to dependability.
191-212
- Ying C. (Bob) Yeh:
Unique dependability issues for commercial airplane fly by wire systems.
213-220
- Hermann Kopetz:
The fault-hypothesis for the time-triggered architecture.
221-234
- Michele Morganti:
Communications dependability evolution.
235-240
- Yves Deswarte, David Powell:
Intrusion tolerance for Internet applications.
241-256
- Shobha Vasudevan, Jacob A. Abraham:
Static program transformations for efficient software model checking.
257-282
- Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Architectural challenges for a dependable Information Society.
283-304
- Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan:
Experimental research in dependable computing at Carnegie Mellon University.
305-328
- Hirokazu Ihara, Motohisa Funabashi:
Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective.
329-356
Topic 4:
Abstract Interpretation
Topic 5:
Multimodal Interaction
Topic 6:
Computer Aided Inventing
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.
499-504
- Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin:
Safety assessment with AltaRica.
505-510
- Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid:
Improving certification capability through automatic code generation.
511-520
- Steven P. Miller:
Early validation of requirements.
521-526
- Jean Souyris, Denis Favre-Felix:
Proof of properties in avionics.
527-536
Topic 8:
The Convergence of Bio-Info-Nano-Technologies
Final papers not available at press time
Topic 9:
E-learning
Topic 10:
Perspectives on Ambient Intelligence
- Vijay Masurkar:
Perspectives on Computing for Service Providers of Intelligent Environments.
575-584
- Emilio Mordini:
Global Governance of the Technological Revolution.
585-592
- Diane Whitehouse:
e-Health - Making Healthcare Better for European Citizens.
593-596
- Penny Duquenoy:
Intelligent Ethics.
597-602
Topic 11:
TRain:
The Railway Domain - A Grand Challenge
- Dines Bjørner:
The TRain Topical Day - A foreword.
605-606
- Dines Bjørner:
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering.
607-612
- Denis Sabatier:
Reusing formal models.
613-620
- Alistair A. McEwan, J. C. P. Woodcock:
A refinement based approach to calculating a fault tolerant railway signal device.
621-628
- Martin Penicka, Dines Bjørner:
From railway resource planning to train operation.
629-636
- Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn:
Integrated formal methods for safety analysis of train systems.
637-642
- Theo C. Giras, Zongli Lin:
Stochastic train domain theory framework.
643-650
- Takahiko Ogino:
CyberRail.
651-656
- Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka:
Towards a formal model of CyberRail.
657-664
Topic 12:
Open-Source Software in Dependable Systems
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.
739-740
- Hirochika Inoue:
Development of humanoids and new business structure.
741-742
- Raja Chatila:
Towards robot companions.
743-744
- Kerstin Dautenhahn:
Roles of robots in human society: Challenges and case studies.
745-746
- Oussama Khatib, James Warren, Vincent De Sapio, Luis Sentis:
Human-like motion from physiologically-based potential field.
747-748
- Gerhard Sagerer:
A Dialog Based Interactive Robot.
749-750
- Ben J. A. Kröse, Ali Taylan Cemgil, Wojciech Zajdel, Zoran Zivkovic:
Tracking Humans.
751-752
- Rüdiger Dillmann:
Learning and Cooperative Multimodal Humanoid Robots.
753-754
- Roland Siegwart, Shrihari Vasudevan, Adriana Tapus:
From Geometric to Cognitive Maps - A Key Element for Personal Robots.
755-760
- 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.
761
Copyright © Tue Feb 9 19:31:06 2010
by Michael Ley (ley@uni-trier.de)
