392 search results - page 23 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
ACSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
SAC
2004
ACM
14 years 4 months ago
2004
ACM
Computational models of trust have been proposed for use in ubicomp environments for deciding whether to allow customers to pay with an e-purse or not. In order to build trust in ...
GVD
2009
13 years 8 months ago
2009
Over the last years the means to collect personal data implicitly or explicitly over the Web and by various kinds of sensors and to combine data for profiling individuals has dram...
IEEEPACT
2007
IEEE
14 years 5 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
OOPSLA
2000
Springer
14 years 2 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...