2273 search results - page 235 / 455 » On the Expressiveness and Complexity of ATL |
153
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
The aim of dynamic reconfiguration is to allow a system to evolve incrementally from one configuration to another at run-time, without restarting it or taking it offline. In recen...
191
click to vote
DILS
2006
Springer
15 years 10 months ago
2006
Springer
The Open Biomedical Ontologies (OBO) is a consortium that serves as a repository of ontologies that are structured like directed acyclic graphs. In this paper we present a language...
145
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this article we present the framework of Possibilistic Influence Diagrams (PID), which allow to model in a compact form problems of sequential decision making under un...
161
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
210
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...