1830 search results - page 269 / 366 » Centering in Dynamic Semantics |
100
click to vote
BERTINORO
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
EPEW
2005
Springer
15 years 4 months ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
GCC
2005
Springer
15 years 4 months ago
2005
Springer
Grid has emerged as a new paradigm for integration within dynamic virtual enterprises. Given a service-oriented Grid environment, more complex, value-added sophisticated services a...
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...