19798 search results - page 3831 / 3960 » Is Structural Subtyping Useful |
120
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
128
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In contrast to classical game theoretic analysis of simultaneous and sequential play in bimatrix games, Steven Brams has proposed an alternative framework called the Theory of Mov...
178
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
142
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
117
Voted
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
The Full-Domain Hash (FDH) signature scheme [3] forms one the most basic usages of random oracles. It works with a family F of trapdoor permutations (TDP), where the signature of m...