Sciweavers

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