Sciweavers

2960 search results - page 528 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
AOSD
2007
ACM
15 years 4 months ago
Fully abstract semantics of additive aspects by translation
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
S. B. Sanjabi, C.-H. Luke Ong
ASIACRYPT
2009
Springer
15 years 4 months ago
Proofs of Storage from Homomorphic Identification Protocols
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
Giuseppe Ateniese, Seny Kamara, Jonathan Katz
CCGRID
2004
IEEE
15 years 4 months ago
Routing and resource discovery in Phoenix Grid-enabled message passing library
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa
ECCV
2006
Springer
15 years 4 months ago
Motion Segmentation Using an Occlusion Detector
We present a novel method for the detection of motion boundaries in a video sequence based on differential properties of the spatio-temporal domain. Regarding the video sequence as...
Doron Feldman, Daphna Weinshall
ESTIMEDIA
2006
Springer
15 years 4 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer