2520 search results - page 85 / 504 » Application Awareness Makes Storage More Useful |
164
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
136
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...
251
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
159
click to vote
SAINT
2008
IEEE
16 years 16 days ago
2008
IEEE
In this paper, we propose a reputation-based trust model for P2P applications and study it a security framework. This framework makes it easy to reason about the resilience of the...
183
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...