Sciweavers

8623 search results - page 48 / 1725
» Software engineering for secure systems
Sort
View
88
Voted
WOSP
2010
ACM
15 years 7 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
71
Voted
APSEC
2002
IEEE
15 years 7 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
102
Voted
APSEC
2002
IEEE
15 years 7 months ago
Extracting threads from concurrent objects for the design of embedded systems
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
101
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
Dependable On-Line Upgrading of Distributed Systems
Alexander B. Romanovsky, Iain Smith