2136 search results - page 415 / 428 » A Game-Theoretic Operational Semantics |
121
click to vote
POPL
1992
ACM
15 years 5 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
96
Voted
FC
2010
Springer
15 years 5 months ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...
113
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
119
click to vote
GRID
2007
Springer
15 years 5 months ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
111
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...