Building the Information Society Book

	Three decades of data integration - all problems solved?	3
	The PLIB ontology-based approach to data integration	13
	The MOMIS methodology for integrating heterogeneous data sources	19
	Building scalable mediator systems	25
	Representation of procedural knowledge and its use to compute a form of subsumption	31
	Developing re-usable interactive storytelling technologies	39
	Connecting the real world and virtual world through gaming	45
	Positive effects of entertainment technology on human behaviour	51
	Realization of tai-chi motion using a humanoid robot	59
	Storytelling for recreating our selves - Zenetic computer	65
	Interaction in a sensitive house	71
	Dependable systems of the future - what is still needed?	79
	Dependability and its threats - a taxonomy	91
	Current research activities on dependable computing and other dependability issues in Japan	121
	The evolution of dependable computing at the University of Illinois	135
	Wrapping the future	165
	From the University of Illinois via JPL and UCLA to Vytautas Magnus University - 50 years of computer engineering by Algirdas Avizienis	175
	Airbus fly-by-wire - a total approach to dependability	191
	Unique dependability issues for commercial airplane fly by wire systems	213
	The fault-hypothesis for the time-triggered architecture	221
	Communications dependability evolution	235
	Intrusion tolerance for Internet applications	241
	Static program transformations for efficient software model checking	257
	Architectural challenges for a dependable information society	283
	Experimental research in dependable computing at Carnegie Mellon University	305
	Systems approach to computing dependability in and out of Hitachi - concept, applications and perspective	329
	Basic concepts of abstract interpretation	359
	TVLA - a system for generating abstract interpreters	367
	AiT - worst case execution time prediction by static program analysis	377
	Astree - verification of absence of run-time error	385
	Industrial experience of abstract interpretation-based static analyzers	393
	Design space for multimodal interaction	403
	Software design and development of multimodal interaction	409
	A generic formal specification of fusion of modalities in a multimodal HCI	415
	Multimodality and multi-platform interactive systems	421
	Multimodality and context-aware adaptation	427
	Towards multimodal Web interaction	433
	Towards "inventiveness-oriented" CAI tools	441
	Exploring the inclusion of design factors in computer aided inventing	453
	State-of-the-art and trends of computer-aided innovation tools	461
	Computer aided comprehensive design for six sigma (DFSS) and axiomatic design (AD)	471
	TRIZ and computer aided inventing	475
	Optimization vs innovation in a CAE environment	487
	Formal proof and test case generation for critical embedded systems using SCADE	499
	Safety assessment with AltaRica	505
	Improving certification capability through automatic code generation	511
	Early validation of requirements	521
	Proof of properties in avionics	527
	Running an e-learning project - technology, expertise, pedagogy	541
	Learning objects interoperability - the ARIADNE experience	551
	An e-learning version of the French higher education curriculum - "computer methods for the companies management"	557
	Perspectives on computing for service providers of intelligent environments	575
	Global governance of the technological revolution	585
	E-Health - making healthcare better for European citizens	593
	Intelligent ethics	597
	The TRain topical day - a foreword	605
	TRain - the railway domain	607
	Reusing formal models	613
	A refinement based approach to calculating a fault tolerant railway signal device	621
	From railway resource planning to train operation	629
	Integrated formal methods for safety analysis of train systems	637
	Stochastic train domain theory framework	643
	CyberRail	651
	Towards a formal model of CyberRail	657
	Open source software in critical systems - motivation and challenges	667
	Trusting strangers - open source software and security	679
	An interdisciplinary perspective of dependability in open source software	685
	Is academic open source software dependable?	693
	Open source in dependable systems - current and future business models	699
	An open-source VHDL IP library with plug&play configuration	711
	Linux - a multi-purpose executive support for civil avionics applications?	719
	A journey towards an OSS-aware organization	725
	Social robots - challenges for machine intelligence	739
	Development of humanoids and new business structure	741
	Towards robot companions	743
	Roles of robots in human society - challenges and case studies	745
	Human-like motion from physiologically-based potential field	747
	A dialog based interactive robot	749
	Tracking humans	751
	Learning and cooperative multimodal humanoid robots	753
	From geometric to cognitive maps - a key element for personal robots	755
	Centibots - very large scale distributed robotic teams