5128 search results - page 758 / 1026 » When Abstraction Fails |
181
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
183
click to vote
DAGM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we present an approach for image reconstruction from local phase vectors in the monogenic scale space. The local phase vector contains not only the local p...
193
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
134
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
157
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...