5451 search results - page 673 / 1091 » Typed Operational Semantics |
143
click to vote
FCT
2005
Springer
16 years 7 days ago
2005
Springer
In the pattern matching problem, there can be a quadratic number of matching substrings in the size of a given text. The linearizing restriction finds, at most, a linear number of...
145
click to vote
HPCC
2005
Springer
16 years 7 days ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
158
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...
182
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...