392 search results - page 24 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Social network information is now being used in ways for which it may have not been originally intended. In particular, increased use of smartphones capable of running applicati...
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
MSWIM
2005
ACM
14 years 4 months ago
2005
ACM
We investigate how to obtain a balance between privacy and audit requirements in vehicular networks. Challenging the current trend of relying on asymmetric primitives within VANET...
GRC
2007
IEEE
13 years 10 months ago
2007
IEEE
Collaborative filtering (CF) systems are being widely used in E-commerce applications to provide recommendations to users regarding products that might be of interest to them. Th...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
— A method is presented for non-rigid alignment of a source shape to a target shape through estimating and interpolating point-wise correspondences between their surfaces given a...