675 search results - page 104 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
129
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
127
click to vote
WISE
2002
Springer
15 years 8 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
121
click to vote
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
155
click to vote
CCGRID
2004
IEEE
15 years 6 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
138
click to vote
AAAI
2008
15 years 5 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...