1356 search results - page 194 / 272 » A variable-free dynamic semantics |
120
click to vote
RTCSA
2005
IEEE
15 years 10 months 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...
162
click to vote
WORDS
2005
IEEE
15 years 10 months 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...
133
click to vote
AI
2005
Springer
15 years 10 months 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...
152
click to vote
BERTINORO
2005
Springer
15 years 10 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...
153
click to vote
EPEW
2005
Springer
15 years 10 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...