1980 search results - page 17 / 396 » Compositional Model Checking of Real Time Systems |
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
83
Voted
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
95
Voted
ISORC
2008
IEEE
15 years 6 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...
119
click to vote
ICLP
2004
Springer
15 years 5 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
15 years 4 months 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...