Sciweavers

5407 search results - page 22 / 1082
» The Software Engineering Global Model
Sort
View
65
Voted
AC
2003
Springer
15 years 2 months ago
Modeling Complexity in Secure Distributed Computing
Christian Cachin
45
Voted
APSEC
2002
IEEE
15 years 2 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
HOTSWUP
2009
ACM
15 years 2 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum