392 search results - page 12 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
113
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
113
click to vote
HPDC
2010
IEEE
15 years 16 days ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...
111
click to vote
CHI
2005
ACM
16 years 22 days ago
2005
ACM
We argue that an analytic proportionality assessment balancing usefulness and burden on individual or group privacy must be conducted throughout the design process to create accep...
109
click to vote
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...