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 BibTeX
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 BibTeX
- 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 BibTeX
- Matthias Rauterberg:
Positive effects of entertainment technology on human behaviour.
51-58 BibTeX
- Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, Ryohei Nakatsu:
Realization of tai-chi motion using a humanoid robot.
59-64 BibTeX
- Naoko Tosa:
Storytelling for recreating our selves - Zenetic computer.
65-70 BibTeX
- Henry Thomas:
Interaction in a sensitive house.
71-76 BibTeX
Topic 3:
Fault Tolerance for Trustworthy and Dependable Information Infrastructures
- Algirdas Avizienis:
Dependable systems of the future - What is still needed?
79-90 BibTeX
- Algirdas Avizienis, Jean-Claude Laprie, Brian Randell:
Dependability and its threats - A taxonomy.
91-120 BibTeX
- Yoshihiro Tohma, Masao Mukaidono:
Current research activities on dependable computing and other dependability issues in Japan.
121-134 BibTeX
- Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk:
The evolution of dependable computing at the University of Illinois.
135-164 BibTeX
- Tom Anderson, Brian Randell, Alexander B. Romanovsky:
Wrapping the future.
165-174 BibTeX
- 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 BibTeX
- Pascal Traverse, Isabelle Lacaze, Jean Souyris:
Airbus fly-by-wire - A total approach to dependability.
191-212 BibTeX
- Ying C. (Bob) Yeh:
Unique dependability issues for commercial airplane fly by wire systems.
213-220 BibTeX
- Hermann Kopetz:
The fault-hypothesis for the time-triggered architecture.
221-234 BibTeX
- Michele Morganti:
Communications dependability evolution.
235-240 BibTeX
- Yves Deswarte, David Powell:
Intrusion tolerance for Internet applications.
241-256 BibTeX
- Shobha Vasudevan, Jacob A. Abraham:
Static program transformations for efficient software model checking.
257-282 BibTeX
- Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Architectural challenges for a dependable Information Society.
283-304 BibTeX
- Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan:
Experimental research in dependable computing at Carnegie Mellon University.
305-328 BibTeX
- Hirokazu Ihara, Motohisa Funabashi:
Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective.
329-356 BibTeX
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 BibTeX
- Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin:
Safety assessment with AltaRica.
505-510 BibTeX
- Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid:
Improving certification capability through automatic code generation.
511-520 BibTeX
- Steven P. Miller:
Early validation of requirements.
521-526 BibTeX
- Jean Souyris, Denis Favre-Felix:
Proof of properties in avionics.
527-536 BibTeX
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
Topic 11:
TRain:
The Railway Domain - A Grand Challenge
- Dines Bjørner:
The TRain Topical Day - A foreword.
605-606 BibTeX
- Dines Bjørner:
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering.
607-612 BibTeX
- Denis Sabatier:
Reusing formal models.
613-620 BibTeX
- Alistair A. McEwan, J. C. P. Woodcock:
A refinement based approach to calculating a fault tolerant railway signal device.
621-628 BibTeX
- Martin Penicka, Dines Bjørner:
From railway resource planning to train operation.
629-636 BibTeX
- Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn:
Integrated formal methods for safety analysis of train systems.
637-642 BibTeX
- Theo C. Giras, Zongli Lin:
Stochastic train domain theory framework.
643-650 BibTeX
- Takahiko Ogino:
CyberRail.
651-656 BibTeX
- 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 BibTeX
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 BibTeX
- Hirochika Inoue:
Development of humanoids and new business structure.
741-742 BibTeX
- Raja Chatila:
Towards robot companions.
743-744 BibTeX
- Kerstin Dautenhahn:
Roles of robots in human society: Challenges and case studies.
745-746 BibTeX
- Oussama Khatib, James Warren, Vincent De Sapio, Luis Sentis:
Human-like motion from physiologically-based potential field.
747-748 BibTeX
- Gerhard Sagerer:
A Dialog Based Interactive Robot.
749-750 BibTeX
- Ben J. A. Kröse, Ali Taylan Cemgil, Wojciech Zajdel, Zoran Zivkovic:
Tracking Humans.
751-752 BibTeX
- Rüdiger Dillmann:
Learning and Cooperative Multimodal Humanoid Robots.
753-754 BibTeX
- Roland Siegwart, Shrihari Vasudevan, Adriana Tapus:
From Geometric to Cognitive Maps - A Key Element for Personal Robots.
755-760 BibTeX
- 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 BibTeX
Copyright © Sat May 16 23:22:35 2009
by Michael Ley (ley@uni-trier.de)
