Sciweavers

7209 search results - page 39 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
127
Voted
FASE
2003
Springer
15 years 7 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
WOSP
2010
ACM
15 years 7 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
APSEC
2002
IEEE
15 years 7 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...