1615 search results - page 11 / 323 » Distributed Forward Checking |
CHARME
2003
Springer
14 years 26 days ago
2003
Springer
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
ICPP
2007
IEEE
14 years 1 months ago
2007
IEEE
– Anonymous communication systems built on P2P infrastructures using anonymity forwarders are frequently affected by the churn problem, i.e. frequent joins and leaves of nodes. T...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
We present a prefix forwarding algorithm for content-based publish/subscribe systems. Our algorithm performs only one content-based match per message regardless of the number of r...
CLEIEJ
2006
13 years 7 months ago
2006
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...