570 search results - page 76 / 114 » The Complexity of Reasoning with Global Constraints |
CSCW
2000
ACM
14 years 9 months ago
2000
ACM
This paper asks the question: how might CSCW system design obtain and be informed by an adequate real-world, real-time understanding of work and organisation on any occasion of wor...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
109
click to vote
ENTCS
2006
14 years 9 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
WDAG
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
WSC
2004
14 years 11 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...