Sciweavers

5638 search results - page 860 / 1128
» On presence
Sort
View
IWSEC
2010
Springer
15 years 5 months ago
Securing MANET Multicast Using DIPLOMA
Multicast traffic, such as live audio/video streaming, is an important application for Mobile Ad Hoc Networks (MANETs), including those used by militaries and disaster recovery tea...
Mansoor Alicherry, Angelos D. Keromytis
JAPLL
2010
124views more  JAPLL 2010»
15 years 5 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
JAPLL
2010
98views more  JAPLL 2010»
15 years 5 months ago
On database query languages for K-relations
The relational model has recently been extended to so-called K-relations in which tuples are assigned a unique value in a semiring K. A query language, denoted by RAC K , similar ...
Floris Geerts, Antonella Poggi
JASIS
2010
122views more  JASIS 2010»
15 years 5 months ago
The impact factor's Matthew Effect: A natural experiment in bibliometrics
Since the publication of Robert K. Merton’s theory of cumulative advantage in science (Matthew Effect), several empirical studies have tried to measure its presence at the level...
Vincent Larivière, Yves Gingras
JCS
2010
121views more  JCS 2010»
15 years 5 months ago
Computational soundness of symbolic zero-knowledge proofs
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
Michael Backes, Dominique Unruh