3713 search results - page 146 / 743 » Constructing a Calculus of Programs |
150
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
125
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
e is used to compose Grid applications from abstract application components that are mapped against available Grid services by the component framework at runtime. key words: compon...
143
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
100
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
107
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...