10899 search results - page 2036 / 2180 » Wide Area Computation |
130
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
165
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...
139
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
121
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—In host-based intrusion detection systems (HIDS), anomaly detection involves monitoring for significant deviations from normal system behavior. Hidden Markov Models (HMMs) have...
149
click to vote
ICNP
2009
IEEE
15 years 11 months ago
2009
IEEE
— Millions of residential users are widely served by cable or DSL connections with modest upload bandwidth and relatively high download bandwidth. For the increasingly important ...