Sciweavers

713 search results - page 90 / 143
» An Integrated Framework for Security and Dependability
Sort
View
SACMAT
2009
ACM
16 years 24 days ago
xDomain: cross-border proofs of access
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
Lujo Bauer, Limin Jia, Michael K. Reiter, David Sw...
SOUPS
2009
ACM
16 years 24 days ago
Games for extracting randomness
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
Ran Halprin, Moni Naor
DSN
2007
IEEE
16 years 19 days ago
SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks
Sleep-wake protocols are critical in sensor networks to ensure long-lived operation. However, an open problem is how to develop efficient mechanisms that can be incorporated with ...
Issa Khalil, Saurabh Bagchi, Ness B. Shroff
ACL
2000
15 years 7 months ago
Multi-Component TAG and Notions of Formal Power
This paper presents a restricted version of Set-Local Multi-Component TAGs Weir, 1988 which retains the strong generative capacity of Tree-Local MultiComponent TAG i.e. produces t...
William Schuler, David Chiang, Mark Dras
AINA
2007
IEEE
15 years 6 months ago
Using Mobile Agent-Based Middleware to Support Distributed Coordination for Vehicle Telematics
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...
Jinhua Guo, Guangming Xing