![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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? 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.