×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [ifip wg]
Home >
ifip wg
Animated Transitions for Empowering Interactive Information Systems - Keynote address of RCIS'2012 conference
1.523 views
Requirement Engineering for Dependable Systems
2.146 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,
214 views
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.
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.
214 views
2012 04-26-ifip-wg.pptx
249 views
How an Information System is Developed?
413 views
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.
218 views
Biometric Security
[email protected]
. IIS 2 Problem People use weak passwords People write the pin code on their bank card Biometrics cannot be.
216 views
A FIT Event Broker for trustworthy infrastructure monitoring and management António Casimiro University of Lisbon Faculty of Sciences LASIGE – Navigators.
213 views
Next >