Sciweavers

1693 search results - page 221 / 339
» Pattern-Recognition: a Foundational Approach
Sort
View
CAISE
1999
Springer
15 years 9 months ago
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
Wasim Sadiq, Maria E. Orlowska
FLOPS
1999
Springer
15 years 9 months ago
An Interval Lattice-Based Constraint Solving Framework for Lattices
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
Antonio J. Fernández, Patricia M. Hill
116
Voted
SIGCSE
1998
ACM
125views Education» more  SIGCSE 1998»
15 years 9 months ago
Providing intellectual focus to CS1/CS2
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
Timothy J. Long, Bruce W. Weide, Paolo Bucci, Davi...
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
15 years 9 months ago
A Framework for Dynamic Changes in Workflow Management Systems
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
Manfred Reichert, Peter Dadam
AGP
1994
IEEE
15 years 9 months ago
An Abstract Interpretation Framework for (almost) Full Prolog
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...