392 search results - page 10 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
NDSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
IHI
2010
13 years 5 months ago
2010
Modern information technology is increasingly used in healthcare with the goal to improve and enhance medical services and to reduce costs. In this context, the outsourcing of com...
ICDE
2010
IEEE
13 years 10 months ago
2010
IEEE
— A recent trend for data-intensive computations is to use pay-as-you-go execution environments that scale transparently to the user. However, providers of such environments must...
CAD
2005
Springer
13 years 10 months ago
2005
Springer
Point-based geometric models are gaining popularity in both the computer graphics and CAD fields. A related design/modelling problem is the focus of the reported research: drawing...
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...