Sciweavers

1938 search results - page 3 / 388
» Dependable Software
Sort
View
93
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
Dependable On-Line Upgrading of Distributed Systems
Alexander B. Romanovsky, Iain Smith
86
Voted
HOTSWUP
2009
ACM
15 years 6 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
102
Voted
AC
2000
Springer
15 years 6 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
96
Voted
ICSM
1998
IEEE
15 years 6 months ago
Slicing Objects Using System Dependence Graphs
Donglin Liang, Mary Jean Harrold