5275 search results - page 113 / 1055 » Computing by observing |
127
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
129
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
A number of recent scams and security attacks (phishing, spyware, fake terminals, ...) hinge on a crook's ability to observe user behavior. In this paper, we describe the des...
188
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
131
Voted
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
We address the problem of detecting irregularities in visual data, e.g., detecting suspicious behaviors in video sequences, or identifying salient patterns in images. The term &qu...
124
click to vote
OSDI
2004
ACM
16 years 3 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...