1521 search results - page 49 / 305 » On Sampled Semantics of Timed Systems |
ICALP
2011
Springer
13 years 2 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
— Timing synchronization is a preeminent challenge in ultra-wideband impulse radios (UWB-IRs). The conventional all-digital synchronization methods encounter some formidable impl...
ESWS
2006
Springer
14 years 2 months ago
2006
Springer
The Semantic Web (SW) offers an opportunity to develop novel, sophisticated forms of question answering (QA). Specifically, the availability of distributed semantic markup on a lar...
HASKELL
2009
ACM
14 years 5 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
HYBRID
2007
Springer
14 years 5 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...