5964 search results - page 1069 / 1193 » A theory of speculative computation |
177
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
166
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a method of integration and implementation of transmitting video and audio data from multiple Internet Protocol (IP) surveillance cameras in a wireless sens...
193
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...
180
click to vote
IPPS
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
173
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...