99 search results - page 8 / 20 » Temporal Integrity Constraints with Indeterminacy |
B
2007
Springer
14 years 1 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
CPAIOR
2006
Springer
13 years 11 months ago
2006
Springer
Temporal planning (TP) is notoriously difficult because it requires to solve a propositional STRIPS planning problem with temporal constraints. In this paper, we propose an efficie...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational busine...
EUC
2006
Springer
13 years 11 months ago
2006
Springer
Extracting appropriate custom instructions is an important phase for implementing an application on an extensible processor with a reconfigurable functional unit (RFU). Custom inst...
PTS
1998
13 years 8 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...