2273 search results - page 193 / 455 » On the Expressiveness and Complexity of ATL |
183
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
196
click to vote
ESORICS
2007
Springer
16 years 22 days ago
2007
Springer
Privacy is considered critical for all organizations needing to manage individual related information. As such, there is an increasing need for access control models which can adeq...
165
click to vote
EVOW
2007
Springer
16 years 21 days ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
201
click to vote
ODBIS
2007
Springer
16 years 20 days ago
2007
Springer
Supporting SPARQL queries over relational databases becomes an active topic recently. However, it has not received enough consideration when SPARQL queries include restrictions on...