Sciweavers

647 search results - page 13 / 130
» Supporting Changes in Structure in Causal Model Construction
Sort
View
EDOC
2007
IEEE
14 years 2 months ago
DECLARE: Full Support for Loosely-Structured Processes
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
FSTTCS
1998
Springer
13 years 12 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
ICSE
2007
IEEE-ACM
14 years 7 months ago
Modeling Product Line Architectures through Change Sets and Relationships
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...
André van der Hoek, Scott A. Hendrickson
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
14 years 1 months ago
Coalgebraic Epistemic Update Without Change of Model
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
Corina Cîrstea, Mehrnoosh Sadrzadeh
COMPGEOM
2003
ACM
14 years 28 days ago
Cost-driven octree construction schemes: an experimental study
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...
Boris Aronov, Hervé Brönnimann, Allen ...