default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIFIP 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? 3-12 - Guy Pierra:
The PLIB ontology-based approach to data integration. 13-18 - Domenico Beneventano, Sonia Bergamaschi:
The MOMIS methodology for integrating heterogeneous data sources. 19-24 - Chantal Reynaud:
Building scalable mediator systems. 25-30 - Yamine Aït Ameur:
Representation of procedural knowledge and its use to compute a form of subsumption. 31-36
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 - Physical interactions with humanoid robot. 59-64 - Naoko Tosa:
Storytelling for recreating our selves - Zenetic computer. 65-70 - Henry Thomas:
Interaction in a sensitive house - Future room that senses human mood and respond to it. 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-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. 175-189 - 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-233 - Michele Morganti:
Communications Dependability Evolution - Between Convergence and Competition. 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-281 - Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Architectural challenges for a dependable Information Society. 282-304 - Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan:
Experimental research in dependable computing at Carnegie Mellon University - From Faults to Manifestations. 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
- Patrick Cousot, Radhia Cousot:
Basic concepts of abstract interpretation. 359-366 - Tal Lev-Ami, Roman Manevich, Shmuel Sagiv:
TVLA: A system for generating abstract interpreters. 367-375 - Christian Ferdinand, Reinhold Heckmann:
aiT: worst case execution time prediction by static program analysis. 377-383 - Laurent Mauborgne:
Astrée: verification of absence of run-time error. 385-392 - Jean Souyris:
Industrial experience of abstract interpretation-based static analyzers. 393-400
Topic 5: Multimodal Interaction
- Laurence Nigay:
Design space for multimodal interaction. 403-408 - Marie-Luce Bourguet:
Software design and development of multimodal interaction. 409-414 - Yamine Aït Ameur, Nadjet Kamel:
A generic formal specification of fusion of modalities in a multimodal HCI. 415-420 - Fabio Paternò:
Multimodality and multi-platform interactive systems. 421-426 - Quentin Limbourg, Jean Vanderdonckt:
Multimodality and context-aware adaptation. 427-432 - Dave Raggett, Max Froumentin, Philipp Hoschka:
Towards multimodal Web interaction - Web pages you can speak to and gesture at. 433-438
Topic 6: Computer Aided Inventing
- Denis Cavallucci, Noel León:
Towards "inventiveness-oriented" CAI tools. 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. 453-459 - Gaetano Cascini:
State-of-the-art and Trends of Computer-Aided Innovation Tools - Towards the integration within the Product Development Cycle. 461-470 - Michael S. Slocum:
Computer aided comprehensive design for six sigma (DFSS) and axiomatic design (AD) - Computer Aided Performance Excellence (Cape). 471-474 - Sergei Ikovenko:
TRIZ and Computer Aided Inventing. 475-485 - Noel León, Jorge Gutierrez, Oscar Martinez, Carlos Castillo Trujillo:
Optimization vs innovation in a CAE environment - Towards a "Computer Aided Inventing" Environment. 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. 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. 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 - A Case Study Using Formal Methods. 521-526 - Jean Souyris, Denis Favre-Felix:
Proof of properties in avionics. 527-535
Topic 8: The Convergence of Bio-Info-Nano-Technologies
Topic 9: E-learning
- Xavier Delgado, Marie-Christine Jené:
Running an e-learning Project: Technology, expertise, pedagogy. 541-550 - Philippe Vidal, Julien Broisin, Erik Duval, Stefaan Ternier:
Learning objects interoperability: The ARIADNE experience. 551-556 - Gérard-Michel Cochard, Daniel Marquie:
An e-learning version of the French higher education curriculum: "Computer methods for the companies management". 557-572
Topic 10: Perspectives on Ambient Intelligence
- Vijay Masurkar:
Perspectives on Computing for Service Providers of Intelligent Environments. 575-583 - Emilio Mordini:
Global Governance of the Technological Revolution. 585-592 - Diane Whitehouse:
e-Health - Making Healthcare Better for European Citizens: Challenges and Expectations. 593-595 - 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-611 - Denis Sabatier:
Reusing formal models - Domain capitalization via formalization. 613-619 - Alistair A. McEwan, J. C. P. Woodcock:
A refinement based approach to calculating a fault tolerant railway signal device. 621-627 - Martin Penicka, Dines Bjørner:
From railway resource planning to train operation - a brief survey of complementary formalisations. 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-649 - Takahiko Ogino:
CyberRail - Information Infrastructure for New Intermodal Transport Business Model. 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. 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. 667-677 - Carl E. Landwehr:
Trusting strangers: Open source software and security. 679-683 - Cristina Gacek:
An interdisciplinary perspective of dependability in open source software. 685-691 - Shigeru Chiba:
Is academic open source software dependable? 693-697 - Cyrille Comar, Franco Gasperoni:
Open source in dependable systems: Current and future business models. 699-710 - Jiri Gaisler:
An open-source VHDL IP library with Plug&Play configuration. 711-717 - Serge Goiffon, Pierre Gaufillet:
Linux: A multi-purpose executive support for civil avionics applications? 719-724 - Jean-Michel Tanneau:
A journey towards an OSS-aware organization. 725-733
Topic 13: Interdependencies of Critical Infrastructure
Topic 14: Social Robots - Challenges for Machine Intelligence
- Raja Chatila, Georges Giralt:
Social robots: Challenges for machine intelligence - Domain outline, main trends and issues. 739-740 - Hirochika Inoue:
Development of humanoids and new business structure. 741-742 - Raja Chatila:
Towards robot companions. 743 - Kerstin Dautenhahn:
Roles of robots in human society: Challenges and case studies. 745 - 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-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. 761
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-18 00:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
