1356 search results - page 194 / 272 » A variable-free dynamic semantics |
167
click to vote
RTCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and mak...
207
click to vote
WORDS
2005
IEEE
16 years 7 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
165
click to vote
AI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a framework for generating adaptive multimedia presentations through the dynamic selection of files from a large data repository. The presentation is generate...
195
click to vote
BERTINORO
2005
Springer
16 years 7 days 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...
183
click to vote
EPEW
2005
Springer
16 years 6 days 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...