20126 search results - page 148 / 4026 » Timed Transition Systems |
206
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
185
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
177
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
174
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
We describe an interactive system featuring fluid-driven animation that responds to moving objects. Our system includes a GPUaccelerated Eulerian fluid solver that is suited for...
135
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...