1078 search results - page 198 / 216 » Modelling and Verifying of e-Commerce Systems |
152
Voted
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...
137
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
122
click to vote
CVPR
2000
IEEE
16 years 3 months ago
2000
IEEE
Conventional vision systems are designed to perform in clear weather. However, any outdoor vision system is incomplete without mechanisms that guarantee satisfactory performance u...
146
Voted
CCS
2011
ACM
14 years 1 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
148
click to vote
RAID
2009
Springer
15 years 8 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...