8928 search results - page 258 / 1786 » Modeling Current Events |
122
click to vote
BPM
2003
Springer
15 years 7 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
142
click to vote
MOBISYS
2009
ACM
16 years 4 months ago
2009
ACM
The extraction of temporal characteristics from sensor data streams can reveal important properties about the sensed events. Knowledge of temporal characteristics in applications ...
136
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In most real-world situations, a single microphone is insufficient for the characterization of an entire auditory scene. This often occurs in places such as office environments ...
135
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—For sensor networks deployed to monitor and report real events, event source anonymity is an attractive and critical security property, which unfortunately is also very difficu...
135
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...