1830 search results - page 198 / 366 » Centering in Dynamic Semantics |
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
160
click to vote
FMOODS
2008
15 years 1 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
104
click to vote
SIGMETRICS
2010
ACM
15 years 10 hour ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...
105
click to vote
ENTCS
2007
14 years 11 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
104
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from compone...