4743 search results - page 456 / 949 » The PlusCal Algorithm Language |
186
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
173
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
171
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
170
click to vote
POLICY
2004
Springer
16 years 5 days ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
174
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...