The top documents tagged [ifip wg]

Animated Transitions for Empowering Interactive Information Systems - Keynote address of RCIS'2012 conference
Technology Animated Transitions for Empowering Interactive Information Systems - Keynote address of RCIS'2012 conference

1.522 views

Requirement Engineering for Dependable Systems
Technology Requirement Engineering for Dependable Systems

2.149 views

A SAT characterization of boolean-program correctness K. Rustan M. Leino Microsoft Research, Redmond, WA 14 Nov 2002 IFIP WG 2.4 meeting, Schloβ Dagstuhl,
Documents A SAT characterization of boolean-program correctness K. Rustan M. Leino Microsoft Research, Redmond, WA 14 Nov 2002 IFIP WG 2.4 meeting, Schloβ Dagstuhl,

214 views

John Bateman / Till Mossakowski Adding Common Logic Support to the Heterogeneous Toolset
Documents John Bateman / Till Mossakowski Adding Common Logic Support to the Heterogeneous Toolset

212 views

Grid Computing Evolution and Challenges for Resilience, Performance and Scalability Luca Simoncini University of Pisa, Italy July 2, 2005WS on Grid Computing
Documents Grid Computing Evolution and Challenges for Resilience, Performance and Scalability Luca Simoncini University of Pisa, Italy July 2, 2005WS on Grid Computing

219 views

5 October 2001IFIP WG 2.31 preparation start drscheme set language level to Beginner open in Presentations –length1.ss –planets0.ss –lambda.ss –convert.ss
Documents 5 October 2001IFIP WG 2.31 preparation start drscheme set language level to Beginner open in Presentations –length1.ss –planets0.ss –lambda.ss –convert.ss

218 views

User modelling for adapted accessible interaction Julio Abascal #, Olatz Arbelaitz *, Myriam Arrue #, Javier Muguerza * # EGOKITUZ: Laboratory of HCI for
Documents User modelling for adapted accessible interaction Julio Abascal #, Olatz Arbelaitz *, Myriam Arrue #, Javier Muguerza * # EGOKITUZ: Laboratory of HCI for

218 views

2012 04-26-ifip-wg.pptx
Education 2012 04-26-ifip-wg.pptx

250 views

How an Information System is Developed?
Education How an Information System is Developed?

416 views

Iwsm2014 solution based estimating (eltjo poort)
Software Iwsm2014 solution based estimating (eltjo poort)

170 views

1 Model-based Methods to Make Distributed Services Fault-Tolerant and Dependable Humberto Nicolás Castejón Martínez Institutt for Telematikk, NTNU
Documents 1 Model-based Methods to Make Distributed Services Fault-Tolerant and Dependable Humberto Nicolás Castejón Martínez Institutt for Telematikk, NTNU

219 views

Biometric Security Pieter.Hartel@utwente.nl. IIS 2 Problem People use weak passwords People write the pin code on their bank card Biometrics cannot be
Documents Biometric Security [email protected]. IIS 2 Problem People use weak passwords People write the pin code on their bank card Biometrics cannot be

218 views