675 search results - page 67 / 135 » Generating Business Process Models from Object Behavior Mode... |
100
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
Most tracking algorithms detect moving objects by comparing incoming images against a reference frame. Crucially, this reference image must adapt continuously to the current light...
102
click to vote
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
138
click to vote
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
100
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...
142
click to vote
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...