Conferences in DBLP
Patrick Ziegler , Klaus R. Dittrich Three decades of data integration - All problems solved? [Citation Graph (0, 0)][DBLP ] Conf ] Guy Pierra The PLIB ontology-based approach to data integration. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Beneventano , Sonia Bergamaschi The MOMIS methodology for integrating heterogeneous data sources. [Citation Graph (0, 0)][DBLP ] Conf ] Chantal Reynaud Building scalable mediator systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur Representation of procedural knowledge and its use to compute a form of subsumption. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Cavazza , Fred Charles , Steven J. Mead Developing re-usable interactive storytelling technologies. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Rauterberg Positive effects of entertainment technology on human behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Takenori Wama , Masayuki Higuchi , Hajime Sakamoto , Ryohei Nakatsu Realization of tai-chi motion using a humanoid robot. [Citation Graph (0, 0)][DBLP ] Conf ] Naoko Tosa Storytelling for recreating our selves - Zenetic computer. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Thomas Interaction in a sensitive house. [Citation Graph (0, 0)][DBLP ] Conf ] Algirdas Avizienis Dependable systems of the future - What is still needed? [Citation Graph (0, 0)][DBLP ] Conf ] Algirdas Avizienis , Jean-Claude Laprie , Brian Randell Dependability and its threats - A taxonomy. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihiro Tohma , Masao Mukaidono Current research activities on dependable computing and other dependability issues in Japan. [Citation Graph (0, 0)][DBLP ] Conf ] Ravishankar K. Iyer , William H. Sanders , Janak H. Patel , Zbigniew Kalbarczyk The evolution of dependable computing at the University of Illinois. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Anderson , Brian Randell , Alexander B. Romanovsky Wrapping the future. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Traverse , Isabelle Lacaze , Jean Souyris Airbus fly-by-wire - A total approach to dependability. [Citation Graph (0, 0)][DBLP ] Conf ] Ying C. (Bob) Yeh Unique dependability issues for commercial airplane fly by wire systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kopetz The fault-hypothesis for the time-triggered architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Morganti Communications dependability evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Deswarte , David Powell Intrusion tolerance for Internet applications. [Citation Graph (0, 0)][DBLP ] Conf ] Shobha Vasudevan , Jacob A. Abraham Static program transformations for efficient software model checking. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Simoncini , Felicita Di Giandomenico , Andrea Bondavalli , Silvano Chiaradonna Architectural challenges for a dependable Information Society. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel P. Siewiorek , Roy A. Maxion , Priya Narasimhan Experimental research in dependable computing at Carnegie Mellon University. [Citation Graph (0, 0)][DBLP ] Conf ] Hirokazu Ihara , Motohisa Funabashi Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot , Radhia Cousot Basic concepts of abstract interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Tal Lev-Ami , Roman Manevich , Shmuel Sagiv TVLA: A system for generating abstract interpreters. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Ferdinand , Reinhold Heckmann aiT: worst case execution time prediction by static program analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Mauborgne Astrée: verification of absence of run-time error. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Souyris Industrial experience of abstract interpretation-based static analyzers. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Nigay Design space for multimodal interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Luce Bourguet Software design and development of multimodal interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur , Nadjet Kamel A generic formal specification of fusion of modalities in a multimodal HCI. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Paternò Multimodality and multi-platform interactive systems. [Citation Graph (0, 0)][DBLP ] Conf ] Quentin Limbourg , Jean Vanderdonckt Multimodality and context-aware adaptation. [Citation Graph (0, 0)][DBLP ] Conf ] Dave Raggett , Max Froumentin , Philipp Hoschka Towards multimodal Web interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Cavallucci , Noel Leon Towards "inventiveness-oriented" CAI tools. [Citation Graph (0, 0)][DBLP ] Conf ] Rosario Vidal , Elena Mulet , Belinda López-Mesa , M. Jose Bellés , Graham Thompson Exploring the inclusion of design factors in Computer Aided Inventing. [Citation Graph (0, 0)][DBLP ] Conf ] Gaetano Cascini State-of-the-art and trends of Computer-Aided Innovation tools. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. Slocum Computer aided comprehensive design for six sigma (DFSS) and axiomatic design (AD). [Citation Graph (0, 0)][DBLP ] Conf ] Sergei Ikovenko TRIZ and Computer Aided Inventing. [Citation Graph (0, 0)][DBLP ] Conf ] Noel Leon , Jorge Gutierez , Oscar Martinez , Carlos Castillo Trujillo Optimization vs innovation in a CAE environment. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Durrieu , Odile Laurent , Christel Seguin , Virginie Wiels Formal proof and test case generation for critical embedded systems using SCADE. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Bieber , Christian Bougnol , Charles Castel , Jean-Pierre Heckmann , Christophe Kehren , Sylvain Metge , Christel Seguin Safety assessment with AltaRica. [Citation Graph (0, 0)][DBLP ] Conf ] Neil C. Audsley , Iain Bate , Steven Crook-Dawkins , John McDermid Improving certification capability through automatic code generation. [Citation Graph (0, 0)][DBLP ] Conf ] Steven P. Miller Early validation of requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Souyris , Denis Favre-Felix Proof of properties in avionics. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Delgado , Marie-Christine Jené Running an e-learning Project: Technology, expertise, pedagogy. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Vidal , Julien Broisin , Erik Duval , Stefaan Ternier Learning objects interoperability: The ARIADNE experience. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard-Michel Cochard , Daniel Marquie An e-learning version of the French higher education curriculum: "Computer methods for the companies management". [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Masurkar Perspectives on Computing for Service Providers of Intelligent Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Emilio Mordini Global Governance of the Technological Revolution. [Citation Graph (0, 0)][DBLP ] Conf ] Diane Whitehouse e-Health - Making Healthcare Better for European Citizens. [Citation Graph (0, 0)][DBLP ] Conf ] Penny Duquenoy Intelligent Ethics. [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner The TRain Topical Day - A foreword. [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Sabatier Reusing formal models. [Citation Graph (0, 0)][DBLP ] Conf ] Alistair A. McEwan , J. C. P. Woodcock A refinement based approach to calculating a fault tolerant railway signal device. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Penicka , Dines Bjørner From railway resource planning to train operation. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reif , Frank Ortmeier , Andreas Thums , Gerhard Schellhorn Integrated formal methods for safety analysis of train systems. [Citation Graph (0, 0)][DBLP ] Conf ] Theo C. Giras , Zongli Lin Stochastic train domain theory framework. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiko Ogino CyberRail. [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner , Peter Chiang , Morten S. T. Jacobsen , Jens Kielsgaard Hansen , Michael P. Madsen , Martin Penicka Towards a formal model of CyberRail. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe David , Hélène Waeselynck , Yves Crouzet Open source software in critical systems: Motivation and challenges. [Citation Graph (0, 0)][DBLP ] Conf ] Carl E. Landwehr Trusting strangers: Open source software and security. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Gacek An interdisciplinary perspective of dependability in open source software. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeru Chiba Is academic open source software dependable? [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Comar , Franco Gasperoni Open source in dependable systems: Current and future business models. [Citation Graph (0, 0)][DBLP ] Conf ] Jiri Gaisler An open-source VHDL IP library with Plug&Play configuration. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Goiffon , Pierre Gaufillet Linux: A multi-purpose executive support for civil avionics applications? [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Tanneau A journey towards an OSS-aware organization. [Citation Graph (0, 0)][DBLP ] Conf ] Raja Chatila , Georges Giralt Social robots: Challenges for machine intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Hirochika Inoue Development of humanoids and new business structure. [Citation Graph (0, 0)][DBLP ] Conf ] Raja Chatila Towards robot companions. [Citation Graph (0, 0)][DBLP ] Conf ] Kerstin Dautenhahn Roles of robots in human society: Challenges and case studies. [Citation Graph (0, 0)][DBLP ] Conf ] Oussama Khatib , James Warren , Vincent De Sapio , Luis Sentis Human-like motion from physiologically-based potential field. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Sagerer A Dialog Based Interactive Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Ben J. A. Kröse , Ali Taylan Cemgil , Wojciech Zajdel , Zoran Zivkovic Tracking Humans. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Dillmann Learning and Cooperative Multimodal Humanoid Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Siegwart , Shrihari Vasudevan , Adriana Tapus From Geometric to Cognitive Maps - A Key Element for Personal Robots. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] 