5128 search results - page 21 / 1026 » When Abstraction Fails |
ACSD
2007
IEEE
14 years 1 months ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
ECML
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
ISPA
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. This paper proposes a novel scheme, named ER-TCP, which transparently masks the failures happened on the server nodes in a cluster from clients at TCP connection granular...
ADVIS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...