6409 search results - page 1038 / 1282 » A Computational Algorithm for Origami Design |
122
click to vote
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building large-scale information delivery systems. Secure event dissemination in a pub-sub ...
115
click to vote
CLUSTER
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a middleware framework for storing, accessing and analyzing massive-scale semantic graphs. The framework, MSSG, targets scale-free semantic graphs with O(1012 ...
160
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
108
click to vote
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
The employment of the OFDMA transmission technique in broadband radio systems shows several benefits. Especially the exploitation of multi-user diversity with the help of sophisti...
161
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
— The shared-medium multi-hop nature of wireless ad hoc networks poses fundamental challenges to the design of an effective resource allocation algorithm to maximize spatial reus...