4250 search results - page 695 / 850 » Understanding the Requirements on Modelling Techniques |
191
Voted
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
185
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
232
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Process mining has proven to be a valuable tool for analyzing operational process executions based on event logs. Existing techniques perform well on structured processes, but stil...
188
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
183
click to vote
AAAI
2010
15 years 8 months ago
2010
It is well known that there cannot be a single "best" heuristic for optimal planning in general. One way of overcoming this is by combining admissible heuristics (e.g. b...