Sciweavers

2163 search results - page 188 / 433
» cases 2004
Sort
View
ESA
2004
Springer
95views Algorithms» more  ESA 2004»
15 years 12 months ago
On Dynamic Shortest Paths Problems
We obtain the following results related to dynamic versions of the shortest-paths problem: (i) Reductions that show that the incremental and decremental singlesource shortest-paths...
Liam Roditty, Uri Zwick
ESOP
2004
Springer
15 years 12 months ago
From Constraints to Finite Automata to Filtering Algorithms
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
Mats Carlsson, Nicolas Beldiceanu
ESORICS
2004
Springer
15 years 12 months ago
Security Property Based Administrative Controls
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
Jon A. Solworth, Robert H. Sloan
ESTIMEDIA
2004
Springer
15 years 12 months ago
Trace-based evaluation of clock synchronization algorithms for wireless loudspeakers
We present an evaluation strategy for clock synchronization algorithms. It is based on a combination of measured traces, which provide for realistic performance estimation, and of...
Philipp Blum, Lothar Thiele
ESWS
2004
Springer
15 years 12 months ago
Formal Support for Representing and Automating Semantic Interoperability
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
Yannis Kalfoglou, W. Marco Schorlemmer