1445 search results - page 170 / 289 » Uniformly Hard Languages |
122
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
In the present paper, we propose a novel area management method based on the concept of “pressure”. Plastic Cell Architecture (PCA) is a dynamically reconfigurable architectur...
116
click to vote
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
119
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
118
click to vote
WAIM
2005
Springer
15 years 9 months ago
2005
Springer
In order to lay a solid foundation for the emerging semantic web, effective and efficient management of large RDF(S) data is in high demand. In this paper we propose an approach t...
137
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...