2273 search results - page 384 / 455 » On the Expressiveness and Complexity of ATL |
COCOON
2009
Springer
15 years 4 months 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...
SOUPS
2009
ACM
15 years 4 months 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...
CSFW
2008
IEEE
15 years 4 months 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 ...
ICST
2008
IEEE
15 years 4 months 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...
103
click to vote
ATAL
2007
Springer
15 years 4 months 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...