4434 search results - page 73 / 887 » On the Composition of Hybrid Systems |
149
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
149
click to vote
SNPD
2008
15 years 7 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...
160
click to vote
JSS
2007
15 years 6 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
162
click to vote
CNSR
2005
IEEE
15 years 11 months ago
2005
IEEE
Web caching has been recognized as an effective scheme to alleviate the service bottleneck and reduce the network traffic, thereby minimizing the user access latency on the Intern...
158
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...