2106 search results - page 342 / 422 » Operational Semantics for DyLPs |
159
click to vote
POLICY
2005
Springer
16 years 6 days ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
181
click to vote
PVM
2005
Springer
16 years 6 days ago
2005
Springer
MPI defines one-sided communication operations—put, get, and accumulate—together with three different synchronization mechanisms that define the semantics associated with th...
203
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
183
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
177
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...