261 search results - page 35 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
ICASSP
2007
IEEE
14 years 2 months ago
2007
IEEE
Background modeling and subtraction is a fundamental task in many computer vision and video processing applications. We present a novel probabilistic background modeling and subtr...
ADHOCNOW
2008
Springer
14 years 2 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
DAC
1996
ACM
13 years 12 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
MOBIDE
1999
ACM
14 years 1 days ago
1999
ACM
The first mass-produced pervasive computing devices are starting to appear—the AutoPC, the Internet-connected ScreenFridge, and the combination Microwave Oven/Home Banking term...