6540 search results - page 1283 / 1308 » Data Stream Sharing |
APN
2008
Springer
15 years 1 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
127
click to vote
CCGRID
2008
IEEE
15 years 1 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
107
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Online privacy is an increasingly important problem, as many services are now offered in a digital form. Privacy (or the lack thereof) is of a special concern in subscriptions to ...
111
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...
100
click to vote
ISCA
2010
IEEE
15 years 1 months ago
2010
IEEE
Two broad classes of memory models are available today: models with hardware cache coherence, used in conventional chip multiprocessors, and models that rely upon software to mana...