2273 search results - page 141 / 455 » On the Expressiveness and Complexity of ATL |
175
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
167
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an analytical approach to determine the performance of bit-interleaved coded modulation (BICM) transmission over unfaded Gaussian channels. In particular, we derive expr...
259
click to vote
TOG
2012
13 years 9 months ago
2012
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
204
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
167
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...