Sciweavers

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