6317 search results - page 900 / 1264 » System Support for Pervasive Applications |
162
click to vote
SOCO
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
176
click to vote
DALT
2005
Springer
16 years 6 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
144
click to vote
HT
2004
ACM
16 years 6 days ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
127
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
One of the challenges of multimedia applications is to provide user-tailored access to information encoded in different media. Particularly, previous research has not yet fully e...
157
click to vote
PODC
2004
ACM
16 years 5 days ago
2004
ACM
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...