5550 search results - page 709 / 1110 » Different Approaches to Proof Systems |
202
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We consider the problem of building a P2P-based search engine for massive document collections. We describe a prototype system called ODISSEA (Open DIStributed Search Engine Archi...
205
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Internet routing is mostly based on static information-it's dynamicity is limited to reacting to changes in topology. Adaptive performance-based routing decisions would not o...
207
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the novel benefits of virtualization is the ability to emulate many hosts with a single physical machine. This approach is often used to support at-scale testing for large...
344
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we consider the challenging problem of unusual event detection in video surveillance systems. The proposed approach makes a step toward generic and automatic dete...
189
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Distributed systems, especially time-triggered ones, are implementing clock synchronization algorithms to provide and maintain a common view of time among the different nodes. S...