Sciweavers

7209 search results - page 39 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
110
Voted
FASE
2003
Springer
15 years 6 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
72
Voted
WOSP
2010
ACM
15 years 6 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
59
Voted
APSEC
2002
IEEE
15 years 5 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
87
Voted
APSEC
2002
IEEE
15 years 5 months ago
Extracting threads from concurrent objects for the design of embedded systems
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama