Search Sciweavers | Sciweavers

2468 search results - page 68 / 494

» Aggregation operators 2003

click to vote

DAGSTUHL
2003

93views Software Engineering» more DAGSTUHL 2003»

Operational Semantics of Security Protocols

13 years 10 months ago

Download alexandria.tue.nl

Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...

Cas J. F. Cremers, Sjouke Mauw

claim paper

Read More »

click to vote

INFOCOM
2003
IEEE

138views Communications» more INFOCOM 2003»

Big-Bang Simulation for embedding network distances in Euclidean space

14 years 2 months ago

Download www.eng.tau.ac.il

— Embedding of a graph metric in Euclidean space efﬁciently and accurately is an important problem in general with applications in topology aggregation, closest mirror selectio...

Yuval Shavitt, Tomer Tankel

claim paper

Read More »

click to vote

ICDE
2003
IEEE

148views Database» more ICDE 2003»

Efficient Computation of Subqueries in Complex OLAP

14 years 10 months ago

Download www.inf.unibz.it

Expressing complex OLAP queries using group-by, aggregation, and joins can be extremely difficult. As a result of this, many alternate ways of expressing such queries have been de...

Michael H. Böhlen, Michael O. Akinde

claim paper

Read More »

click to vote

HOTOS
2003
IEEE

74views Operating System» more HOTOS 2003»

The Phoenix Recovery System: Rebuilding from the Ashes of an Internet Catastrophe

14 years 2 months ago