Sciweavers

9018 search results - page 32 / 1804
» 3D-Brain Model Software
Sort
View
91
Voted
AC
2003
Springer
15 years 7 months ago
Modeling Complexity in Secure Distributed Computing
Christian Cachin
APSEC
2002
IEEE
15 years 7 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
91
Voted
HOTSWUP
2009
ACM
15 years 7 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
95
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
Alberto Avritzer, Elaine J. Weyuker