11395 search results - page 1958 / 2279 » Beyond computer science |
184
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Deployment of SSDs in enterprise settings is limited by the low erase cycles available on commodity devices. Redundancy solutions such as RAID can potentially be used to protect a...
168
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
163
click to vote
ICDS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Remote ambulatory monitoring is widely seen as playing a key part in addressing the impending crisis in health care provision. We describe two mobile health solutions, one devel...
251
click to vote
ICDS
2010
IEEE
16 years 1 months ago
2010
IEEE
—We consider a method for preventing e-Fraud in which a binary image is encrypted with a floating point cipher using a convolution operation and the output quantized into a 1-bi...
171
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...