8636 search results - page 378 / 1728 » How Developers Copy |
195
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
When creating techniques for manipulating objects at a distance in immersive virtual environments, researchers have primarily focused on increasing selection range, placement rang...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
210
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
186
click to vote
STACS
2007
Springer
16 years 25 days ago
2007
Springer
One frequently studied problem in the context of information dissemination in communication networks is the broadcasting problem. In this paper, we study the following randomized b...
173
click to vote
MSWIM
2006
ACM
16 years 20 days ago
2006
ACM
The topic of this paper is the algorithmic development of routing techniques for Delay Tolerant Networks (DTNs). Assuming a store and forward type of network transfers, our main o...