297 search results - page 44 / 60 » Validation of an agent based system using Petri Nets |
119
click to vote
SFM
2005
Springer
15 years 5 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
115
Voted
CIKM
1994
Springer
15 years 4 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
87
Voted
APN
2005
Springer
15 years 6 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...
112
Voted
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
124
Voted
SQJ
2008
15 years 9 days ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...