IFIP Congress Topical Sessions

Keyphrases

Publications

2004

Diane Whitehouse
e-Health - Making Healthcare Better for European Citizens: Challenges and Expectations. IFIP Congress Topical Sessions (2004)
Henry Thomas
Interaction in a sensitive house - Future room that senses human mood and respond to it. IFIP Congress Topical Sessions (2004)
Philippe David, Hélène Waeselynck, Yves Crouzet
Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions (2004)
Emilio Mordini
Global Governance of the Technological Revolution. IFIP Congress Topical Sessions (2004)
Domenico Beneventano, Sonia Bergamaschi
The MOMIS methodology for integrating heterogeneous data sources. IFIP Congress Topical Sessions (2004)
Patrick Cousot, Radhia Cousot
Basic concepts of abstract interpretation. IFIP Congress Topical Sessions (2004)
Jiri Gaisler
An open-source VHDL IP library with Plug&Play configuration. IFIP Congress Topical Sessions (2004)
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell
Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions (2004)
Shigeru Chiba
Is academic open source software dependable? IFIP Congress Topical Sessions (2004)
Noel León, Jorge Gutierrez, Oscar Martinez, Carlos Castillo Trujillo
Optimization vs innovation in a CAE environment - Towards a "Computer Aided Inventing" Environment. IFIP Congress Topical Sessions (2004)
Michele Morganti
Communications Dependability Evolution - Between Convergence and Competition. IFIP Congress Topical Sessions (2004)
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)
Takahiko Ogino
CyberRail - Information Infrastructure for New Intermodal Transport Business Model. IFIP Congress Topical Sessions (2004)
Tom Anderson, Brian Randell, Alexander B. Romanovsky
Wrapping the future. IFIP Congress Topical Sessions (2004)
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)
Algirdas Avizienis
Dependable systems of the future - What is still needed? IFIP Congress Topical Sessions (2004)
Quentin Limbourg, Jean Vanderdonckt
Multimodality and context-aware adaptation. IFIP Congress Topical Sessions (2004)
Dines Bjørner
The TRain Topical Day - A foreword. IFIP Congress Topical Sessions (2004)
Yoshihiro Tohma, Masao Mukaidono
Current research activities on dependable computing and other dependability issues in Japan. IFIP Congress Topical Sessions (2004)
Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions (2004)
Raja Chatila
Towards robot companions. IFIP Congress Topical Sessions (2004)
Marc Cavazza, Fred Charles, Steven J. Mead
Developing re-usable interactive storytelling technologies. IFIP Congress Topical Sessions (2004)
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)
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)
Serge Goiffon, Pierre Gaufillet
Linux: A multi-purpose executive support for civil avionics applications? IFIP Congress Topical Sessions (2004)
Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions (2004)
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)
Denis Cavallucci, Noel León
Towards "inventiveness-oriented" CAI tools. IFIP Congress Topical Sessions (2004)
Fabio Paternò
Multimodality and multi-platform interactive systems. IFIP Congress Topical Sessions (2004)
Gerhard Sagerer
A Dialog Based Interactive Robot. IFIP Congress Topical Sessions (2004)
Laurence Nigay
Design space for multimodal interaction. IFIP Congress Topical Sessions (2004)
Marie-Luce Bourguet
Software design and development of multimodal interaction. IFIP Congress Topical Sessions (2004)
Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions (2004)
Shobha Vasudevan, Jacob A. Abraham
Static program transformations for efficient software model checking. IFIP Congress Topical Sessions (2004)
Denis Sabatier
Reusing formal models - Domain capitalization via formalization. IFIP Congress Topical Sessions (2004)
Hirokazu Ihara, Motohisa Funabashi
Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective. IFIP Congress Topical Sessions (2004)
Roland Siegwart, Shrihari Vasudevan, Adriana Tapus
From Geometric to Cognitive Maps - A Key Element for Personal Robots. IFIP Congress Topical Sessions (2004)
Laurent Mauborgne
Astrée: verification of absence of run-time error. IFIP Congress Topical Sessions (2004)
Xavier Delgado, Marie-Christine Jené
Running an e-learning Project: Technology, expertise, pedagogy. IFIP Congress Topical Sessions (2004)
Ying C. (Bob) Yeh
Unique dependability issues for commercial airplane fly by wire systems. IFIP Congress Topical Sessions (2004)
Matthias Rauterberg
Positive effects of entertainment technology on human behaviour. IFIP Congress Topical Sessions (2004)
Jean Souyris
Industrial experience of abstract interpretation-based static analyzers. IFIP Congress Topical Sessions (2004)
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)
Pascal Traverse, Isabelle Lacaze, Jean Souyris
Airbus fly-by-wire - A total approach to dependability. IFIP Congress Topical Sessions (2004)
Hermann Kopetz
The fault-hypothesis for the time-triggered architecture. IFIP Congress Topical Sessions (2004)
Rüdiger Dillmann
Learning and Cooperative Multimodal Humanoid Robots. IFIP Congress Topical Sessions (2004)
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)
Jean-Michel Tanneau
A journey towards an OSS-aware organization. IFIP Congress Topical Sessions (2004)
Christian Ferdinand, Reinhold Heckmann
aiT: worst case execution time prediction by static program analysis. IFIP Congress Topical Sessions (2004)

volume 156, 2004

Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France IFIP Congress Topical Sessions 156 (2004)