1980 search results - page 17 / 396 » Compositional Model Checking of Real Time Systems |
ICRA
2000
IEEE
14 years 3 days ago
2000
IEEE
TACAS
1998
Springer
13 years 12 months ago
1998
Springer
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
ICLP
2004
Springer
14 years 1 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
EVOW
2003
Springer
14 years 28 days ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...