2273 search results - page 384 / 455 » On the Expressiveness and Complexity of ATL |
153
click to vote
COCOON
2009
Springer
16 years 23 days ago
2009
Springer
In [3], the authors introduced the Generalised Character Compatibility Problem as a generalisation of the Perfect Phylogeny Problem for a set of species. This generalised problem t...
147
click to vote
SOUPS
2009
ACM
16 years 21 days ago
2009
ACM
Existing technologies for file sharing differ widely in the granularity of control they give users over who can access their data; achieving finer-grained control generally requ...
148
click to vote
CSFW
2008
IEEE
16 years 20 days ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
180
click to vote
ICST
2008
IEEE
16 years 18 days ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
174
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...