1831 search results - page 158 / 367 » Time Constraints in Workflow Systems |
135
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...
234
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Although integrity constraints have long been used to maintain data consistency, there are situations in which they may not be enforced or satisfied. In this paper, we present Con...
144
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we develop a theory of metamodules and an associated distributed asynchronous planner which generalizes previous work on metamodules for lattice-based modular rob...
129
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The existence of non-uniform thermal gradients on the substrate in high performance IC’s can significantly impact the performance of global on-chip interconnects. This issue is...
186
Voted
AAAI
2008
15 years 5 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...