7971 search results - page 182 / 1595 » On unbounded operators and applications |
153
click to vote
AMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
166
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Computers are notoriously insecure, in part because application security policies do not map well onto traditional protection mechanisms such as Unix user accounts or hardware pag...
131
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
1 This paper presents a robust motion-detector video sensor. It is intended to operate in surveillance applications for long periods of time with time-varying noise level. It make...
161
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
212
click to vote
MOBICOM
1996
ACM
15 years 10 months ago
1996
ACM
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which only addres...