2870 search results - page 291 / 574 » Synchronization of multi-agent systems |
149
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
155
click to vote
ISCOPE
1998
Springer
15 years 8 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
116
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
130
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
128
click to vote
SNPD
2008
15 years 6 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...