981 search results - page 162 / 197 » Semantics-aware trace analysis |
111
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
118
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
111
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
IP traceback can be used to find the origin of anonymous traffic; however, Internet-scale IP traceback systems have not been deployed due to a need for cooperation between Interne...
114
click to vote
CMPB
2010
15 years 2 months ago
2010
Recent advances in 4D imaging and real-time imaging provide image data with clinically important cardiac dynamic information at high spatial or temporal resolution. However, the en...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
School and College campuses face a perceived threat of violent crimes and require a realistic plan against unpredictable emergencies and disasters. Existing emergency systems (e.g....