4902 search results - page 621 / 981 » Multi-agent Systems Methodology |
187
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
172
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The influences of OS and system-specific effects on application performance are increasingly important in high performance computing. In this regard, OS kernel measuremen...
197
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
207
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
178
click to vote
DMS
2008
15 years 8 months ago
2008
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...