948 search results - page 90 / 190 » What can we achieve by arbitrary announcements |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract-- Wireless Sensor Networks (WSNs) rely on innetwork aggregation for efficiency, however, this comes at a price: A single adversary can severely influence the outcome by co...
MTA
2007
13 years 8 months ago
2007
Complex multimedia queries, aiming to retrieve from large databases those objects that best match the query specification, are usually processed by splitting them into a set of m ...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
One of the attractive features of Grid computing is that resources in geographically distant places can be mobilized to meet computational needs as they arise. A particularly chal...
VIS
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...