1036 search results - page 186 / 208 » Ubiquitous Verification of Ubiquitous Systems |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Can implicit interaction with a computer easily drive useful interface improvements in physical world settings? This paper presents a case study presenting multiple such context-a...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
Data stream processing systems have become ubiquitous in academic and commercial sectors, with application areas that include financial services, network traffic analysis, battlef...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Proactively providing services to mobile individuals is essential for emerging ubiquitous applications. The major challenge in providing users with proactive services lies in cont...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Outdoor camera networks are becoming ubiquitous in critical urban areas of large cities around the world. Although current applications of camera networks are mostly li...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...