8540 search results - page 276 / 1708 » The Dynamic Servers Problem |
115
click to vote
JAPLL
2006
15 years 3 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
132
click to vote
CSB
2004
IEEE
15 years 7 months ago
2004
IEEE
It is still an open problem to identify functional relations with o(N
133
click to vote
IUI
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we describe a public navigation system which uses adaptive displays as directional signs. The displays are mounted to walls where they provide passersby with direct...
143
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
107
Voted
MASCOTS
2001
15 years 5 months ago
2001
We introduce the aggregating cache, and demonstrate how it can be used to reduce the number of file retrieval requests made by a caching client, improving storage system performan...