7554 search results - page 135 / 1511 » Process Diagnostics: A Method Based on Process Mining |
147
Voted
DFG
2003
Springer
15 years 9 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
127
click to vote
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...
133
Voted
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
155
click to vote
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper introduces a novel method for ultrasound (US) probe calibration based on closed-form formulation and using minimal US imaging allowing for an immediate result....
179
click to vote
JCP
2008
15 years 4 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...