4743 search results - page 456 / 949 » The PlusCal Algorithm Language |
137
Voted
ATAL
2004
Springer
15 years 9 months 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...
123
click to vote
IFIP
2004
Springer
15 years 9 months 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...
111
Voted
LCTRTS
2004
Springer
15 years 9 months 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...
114
Voted
POLICY
2004
Springer
15 years 9 months 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...
126
Voted
ICLP
1999
Springer
15 years 8 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...