532 search results - page 52 / 107 » Distributed, Modular HTL |
110
click to vote
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
107
click to vote
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
111
Voted
COMPCON
1994
IEEE
15 years 4 months ago
1994
IEEE
Spring is a highly modular, distributed, object-oriented operating system. This paper describes the goals of the Spring system and provides overviews of the Spring object model, t...
108
Voted
ICAD
2004
15 years 1 months ago
2004
We describe significant developments towards a real-time implementation of SonArt, the parameter mapping framework first presented in [1] 1 . Enhancements include the incorporatio...
90
Voted
ENTCS
2007
15 years 14 days ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...