Sciweavers

8623 search results - page 48 / 1725
» Software engineering for secure systems
Sort
View
WOSP
2010
ACM
14 years 2 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
APSEC
2002
IEEE
14 years 2 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
COMPSAC
2002
IEEE
14 years 2 months ago
Dependable On-Line Upgrading of Distributed Systems
Alexander B. Romanovsky, Iain Smith