20126 search results - page 148 / 4026 » Timed Transition Systems |
164
Voted
FORMATS
2006
Springer
15 years 7 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...
132
click to vote
BPM
2006
Springer
15 years 5 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
134
Voted
ICPR
2002
IEEE
16 years 4 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...
131
click to vote
SI3D
2010
ACM
15 years 10 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...
98
Voted
INFOCOM
2009
IEEE
15 years 10 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 ...