4595 search results - page 557 / 919 » Reasoning about Plans |
158
click to vote
ENC
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
192
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
172
click to vote
ISPW
2005
IEEE
16 years 14 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
214
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
177
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...