16626 search results - page 3186 / 3326 » Computing is a natural science |
171
click to vote
SIGCOMM
2005
ACM
16 years 1 days ago
2005
ACM
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
186
click to vote
VRST
2005
ACM
16 years 1 days ago
2005
ACM
This paper proposes a novel tabletop display system for natural communication and flexible information sharing. The proposed system is specifically designed for integration of 2...
148
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
162
click to vote
CHARME
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
171
click to vote
CRYPTO
2005
Springer
16 years 1 days ago
2005
Springer
Broadcast encryption schemes allow a message sender to broadcast an encrypted data so that only legitimate receivers decrypt it. Because of the intrinsic nature of one-to-many comm...