Sciweavers

21430 search results - page 459 / 4286
» Abstract Effective Models
Sort
View
BALT
2006
15 years 10 months ago
Pattern Repositories for Software Engineering Education
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
Hans-Werner Sehring, Sebastian Bossung, Patrick Hu...
BPM
2006
Springer
158views Business» more  BPM 2006»
15 years 10 months ago
Flexibility of Data-Driven Process Structures
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
Dominic Müller, Manfred Reichert, Joachim Her...
CP
2006
Springer
15 years 10 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
CL
2000
Springer
15 years 10 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
IDEAS
1997
IEEE
93views Database» more  IDEAS 1997»
15 years 10 months ago
Schema Evolution in Object Databases by Catalogs
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
Anne Pons, Rudolf K. Keller