Sciweavers

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