891 search results - page 101 / 179 » Temporal Constraints: A Survey |
155
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
166
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
170
click to vote
CAISE
1998
Springer
15 years 10 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
173
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
164
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...