1146 search results - page 31 / 230 » Semantics of Data Streams and Operators |
161
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
132
Voted
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...
118
click to vote
ER
2007
Springer
15 years 5 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
138
click to vote
ENTCS
2011
14 years 8 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
131
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...