2273 search results - page 195 / 455 » On the Expressiveness and Complexity of ATL |
214
click to vote
DALT
2005
Springer
16 years 2 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
169
click to vote
DILS
2005
Springer
16 years 2 days ago
2005
Springer
Publicly available biological resources form a complex maze of highly heterogeneous data sources, interconnected by navigational capabilities and applications. Although it offers ...
156
click to vote
ERCIMDL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
170
click to vote
HPCC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
200
click to vote
MIDDLEWARE
2005
Springer
16 years 1 days ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...