Sciweavers

3553 search results - page 238 / 711
» Association Computation for Information Access
Sort
View
PERCOM
2003
ACM
16 years 6 months ago
Cerberus: A Context-Aware Security Scheme for Smart Spaces
Ubiquitous computing has fueled the idea of constructing sentient, information-rich "smart spaces" that extend the boundaries of traditional computing to encompass physi...
Jalal Al-Muhtadi, Anand Ranganathan, Roy H. Campbe...

Book
3104views
17 years 4 months ago
HTTP Programming Recipes for C# Bots
"The Hypertext Transfer Protocol (HTTP) allows information to be exchanged between a web server and a web browser. C# allows you to program HTTP directly. HTTP programming all...
Jeff Heaton
VSMM
2007
Springer
16 years 25 days ago
Adding Semantic Annotations, Navigation Paths and Tour Guides to Existing Virtual Environments
Nowadays, more Virtual Environments (VEs) are becoming available on the Web. This means that VEs are becoming accessible to a larger and more diverse audience. It also means that i...
Frederic Kleinermann, Olga De Troyer, Christophe C...
219
Voted
PODC
1990
ACM
15 years 10 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
NSDI
2008
15 years 9 months ago
Effective Diagnosis of Routing Disruptions from End Systems
Internet routing events are known to introduce severe disruption to applications. So far effective diagnosis of routing events has relied on proprietary ISP data feeds, resulting ...
Ying Zhang, Zhuoqing Morley Mao, Ming Zhang