5600 search results - page 1040 / 1120 » Synthesizing robust systems |
FGR
2011
IEEE
13 years 1 months ago
2011
IEEE
Abstract— We propose here to acquire high resolution sequences of a person’s face using a pan-tilt-zoom (PTZ) network camera. This capability should prove helpful in forensic a...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
MOBISYS
2011
ACM
13 years 1 months ago
2011
ACM
The rapid growth of mobile malware necessitates the presence of robust malware detectors on mobile devices. However, running malware detectors on mobile devices may drain their ba...
ATAL
2011
Springer
12 years 10 months ago
2011
Springer
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
PLDI
2012
ACM
12 years 21 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...