7554 search results - page 1386 / 1511 » Process Diagnostics: A Method Based on Process Mining |
135
Voted
ITSSA
2006
15 years 5 months ago
2006
: The problem of patient scheduling in hospitals is characterized by high uncertainty and dynamics in patient treatments. Additional complexity in the planning and coordination pro...
167
click to vote
JALC
2006
15 years 5 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
134
click to vote
JSW
2008
15 years 5 months ago
2008
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...
153
Voted
MAGS
2008
15 years 5 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
162
Voted
JVCA
2006
15 years 5 months ago
2006
Virtual mannequins need to navigate in order to interact with their environment. Their autonomy to accomplish the navigation task is ensured by locomotion controllers. Control inp...