Building the Information Society - IFIP International Federation for Information Processing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781402081569, 9781402081576

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_60 ◽

2008 ◽

pp. 621-627

Author(s):

Alistair A. McEwan ◽

J. C. P. Woodcock

Keyword(s):

Fault Tolerant ◽

Railway Signal ◽

Railway Signal Device

Download Full-text

The TRain Topical Day — A Foreword

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_57 ◽

2008 ◽

pp. 605-606

Author(s):

Dines Bjørner*†

Download Full-text

Communications Dependability Evolution

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_21 ◽

2008 ◽

pp. 234-240

Author(s):

Michele Morganti

Download Full-text

Learning Objects Interoperability: The Ariagne Experience

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_51 ◽

2008 ◽

pp. 551-556 ◽

Cited By ~ 2

Author(s):

Philippe Vidal ◽

Julien Broisin ◽

Erick Duval ◽

Stefaan Ternier

Keyword(s):

Learning Objects

Download Full-text

aiT: Worst-Case Execution Time Prediction by Static Program Analysis

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_29 ◽

2008 ◽

pp. 377-383 ◽

Cited By ~ 39

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann

Keyword(s):

Program Analysis ◽

Execution Time ◽

Worst Case ◽

Static Program Analysis ◽

Time Prediction ◽

Worst Case Execution Time ◽

Execution Time Prediction

Download Full-text

An Open-Source VHDL IP Library with Plug&Play Configuration

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_71 ◽

2008 ◽

pp. 711-717 ◽

Cited By ~ 2

Author(s):

Jiri Gaisler

Keyword(s):

Open Source

Download Full-text

Global Governance of the Technological Revolution

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_54 ◽

2008 ◽

pp. 585-592 ◽

Cited By ~ 2

Author(s):

Emilio Mordini

Keyword(s):

Global Governance ◽

Technological Revolution

Download Full-text

The Evolution of Dependable Computing at the University of Illinois

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_15 ◽

2008 ◽

pp. 135-164

Author(s):

R. K. Iyer ◽

W. H. Sanders ◽

J. H. Patel ◽

Z. Kalbarczyk

Keyword(s):

University Of Illinois ◽

Dependable Computing ◽

The University

Download Full-text

A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_34 ◽

2008 ◽

pp. 415-420 ◽

Cited By ~ 4

Author(s):

Yamine Ait Ameur ◽

Nadjet Kamel

Keyword(s):

Formal Specification

Download Full-text

Connecting the Real World and Virtual World through Gaming

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_7 ◽

2008 ◽

pp. 45-50 ◽

Cited By ~ 1

Author(s):

Adrian David Cheok ◽

Goh Kok Hwee ◽

Liu Wei ◽

Jason Teo ◽

Teo Sze Lee ◽

...

Keyword(s):

Real World ◽

Virtual World ◽

The Real

Download Full-text

Building the Information Society - IFIP International Federation for Information ProcessingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device

The TRain Topical Day — A Foreword

Communications Dependability Evolution

Learning Objects Interoperability: The Ariagne Experience

aiT: Worst-Case Execution Time Prediction by Static Program Analysis

An Open-Source VHDL IP Library with Plug&Play Configuration

Global Governance of the Technological Revolution

The Evolution of Dependable Computing at the University of Illinois

A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci

Connecting the Real World and Virtual World through Gaming

Building the Information Society - IFIP International Federation for Information Processing
Latest Publications