Sciweavers

1662 search results - page 10 / 333
» Privately Finding Specifications
Sort
View
ISWC
2003
IEEE
13 years 12 months ago
A Shoulder Pad Insert Vibrotactile Display
Touch is the most intimate and inherently private human sense and provides the potential for discrete, low social weight human computer interaction. This paper presents initial re...
Aaron Toney, Lucy E. Dunne, Bruce H. Thomas, Susan...
SIGSOFT
2007
ACM
14 years 7 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip
NOMS
2000
IEEE
138views Communications» more  NOMS 2000»
13 years 11 months ago
Policy-based hybrid management architecture for IP-based VPN
Using IP-based Virtual Private Network (IP-VPN) technology, a company can establish its virtual private network over public networks. Recently, IP-VPN emerges as one of main techn...
Seung-Jin Baek, Moon-Sang Jeong, Jong-Tae Park, Ta...
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 6 months ago
Selling Privacy at Auction
We initiate the study of markets for private data, through the lens of differential privacy. Although the purchase and sale of private data has already begun on a large scale, a t...
Arpita Ghosh, Aaron Roth
CBSE
2008
Springer
13 years 8 months ago
A Practical Approach for Finding Stale References in a Dynamic Service Platform
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
Kiev Gama, Didier Donsez