1998 search results - page 366 / 400 » Situated Control Rules |
137
click to vote
AIMS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we assess the protection mechanisms entered into recent clients to fight against the Sybil attack in KAD, a widely deployed Distributed Hash Table. We study three m...
120
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
150
click to vote
VLDB
1999
ACM
15 years 8 months ago
1999
ACM
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
144
click to vote
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
130
click to vote
LISA
2007
15 years 6 months ago
2007
Contemporary storage systems separate the management of data from the management of the underlying physical storage media used to store that data. This separation is artificial an...