Sciweavers

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