Sciweavers

3022 search results - page 310 / 605
» From plans to planning: the case of nursing plans
Sort
View
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 6 months ago
Applying Constraint Solving to the Management of Distributed Applications
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
Andrew McCarthy, Alan Dearle, Graham N. C. Kirby
DEBU
2010
207views more  DEBU 2010»
15 years 6 months ago
Spatio-temporal Databases in Urban Transportation
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
Ouri Wolfson, Bo Xu
CONCURRENCY
2006
92views more  CONCURRENCY 2006»
15 years 6 months ago
What makes workflows work in an opportunistic environment?
In this paper, we examine the issues of workflow mapping and execution in opportunistic environments such as the grid. As applications become ever more complex, the process of cho...
Ewa Deelman, Tevfik Kosar, Carl Kesselman, Miron L...
IGPL
2008
103views more  IGPL 2008»
15 years 6 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
JAIR
2008
123views more  JAIR 2008»
15 years 6 months ago
The Computational Complexity of Dominance and Consistency in CP-Nets
We investigate the computational complexity of testing dominance and consistency in CP-nets. Up until now, the complexity of dominance has been determined only for restricted clas...
Judy Goldsmith, Jérôme Lang, Miroslaw...