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

TOTAL DOCUMENTS

84

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer US

9781402081569, 9781402081576

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof of Properties in Avionics

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

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

2008 ◽

pp. 527-535 ◽

Author(s):

Jean Souyris ◽

Denis Favre-Félix

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 ◽

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann

Keyword(s):

Program Analysis ◽

Execution Time ◽

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 ◽

Author(s):

Jiri Gaisler

Keyword(s):

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 ◽

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 ◽

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 ◽

Author(s):

Yamine Ait Ameur ◽

Nadjet Kamel

Keyword(s):

Formal Specification

Download Full-text

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 ◽

Author(s):

Philippe Vidal ◽

Julien Broisin ◽

Erick Duval ◽

Stefaan Ternier

Keyword(s):

Learning Objects

Download Full-text