Searching for "On the Composition of Timed Systems." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
The Compositional Specification of Timed Systems - A Tutorial
- …The Compositional Speci cation of Timed Systems A Tutorial Motivation Joseph Sifakis Joseph…
- Add To MetaCart
-
Compositional Specification of Timed Systems (Extended Abstract)
- …Compositional Specification of Timed Systems (Extended Abstract) y Joseph Sifakis and Sergio…
- Cited by 4 (0 self) – Add To MetaCart
-
Time Measures And State Maintainability For A Class Of Composed Systems
- … considers the composition of timed systems which interact with each other and externally through condition…
- Cited by 9 (1 self) – Add To MetaCart
-
On the symbolic verification of timed systems
- …On the Symbolic Verification of Timed Systems Jesper Møller Jakob Lichtenberg Henrik Reif…
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Progress in Timed Systems
- … the issue of progress for distributed timed systems modeled as the parallel composition of timed automata…
- Cited by 7 (1 self) – Add To MetaCart
-
Determination of Time and Order for Eventbased Middleware in Mobile Peer-to-peer Environments
- …. Determination of the duration of composite events requires semantics of composition and the time system…
- Cited by 3 (2 self) – Add To MetaCart
-
Unified semantics for event correlation over time and space in hybrid network environments
- … of composite events requires the semantics of composition and time system information such as a point…
- Cited by 5 (4 self) – Add To MetaCart
-
Compositional Modeling in Metropolis
- … having spent E time units in running. We use a exible parallel composition k of timed systems [6…
- Add To MetaCart
-
On the Construction of Live Timed Systems
- … several papers on the compositional description of timed systems [8{10]. It consists in enforcing…
- Cited by 15 (5 self) – Add To MetaCart
-
Ubiquitous Computing: Challenges in Flexible Data Aggregation
- … for composite event detection with time restriction, subset rule, and an object tracking system. Surface…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
