1521 search results - page 51 / 305 » On Sampled Semantics of Timed Systems |
DEXAW
2006
IEEE
14 years 5 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
DASFAA
2005
IEEE
14 years 4 months ago
2005
IEEE
In an increasingly multilingual world, it is critical that information management tools organically support the simultaneous use of multiple natural languages. A pre-requisite for ...
TSP
2008
13 years 10 months ago
2008
Timing synchronization is a critical challenge in ultra-wideband impulse radios (UWB-IRs). Conventional fulldigital synchronization methods encounter implementation difficulties su...
RTSS
2005
IEEE
14 years 4 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
FM
2003
Springer
14 years 4 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...