1980 search results - page 17 / 396 » Compositional Model Checking of Real Time Systems |
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
126
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
147
click to vote
ISORC
2008
IEEE
15 years 11 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...
161
click to vote
ICLP
2004
Springer
15 years 10 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...
123
click to vote
EVOW
2003
Springer
15 years 10 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...