3113 search results - page 467 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
131
click to vote
DCOSS
2008
Springer
14 years 11 months ago
2008
Springer
We consider a mobile sensor network monitoring a spatio-temporal field. Given limited caches at the sensor nodes, the goal is to develop a distributed cache management algorithm to...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
ER
2008
Springer
14 years 11 months ago
2008
Springer
Modern information systems, and web information systems in particular, are faced with frequent database schema changes, which generate the necessity to manage them and preserve the...
ESA
2008
Springer
14 years 11 months ago
2008
Springer
The crossing number problem is to find the smallest number of edge crossings necessary when drawing a graph into the plane. Eventhough the problem is NP-hard, we are interested in ...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...