1036 search results - page 101 / 208 » Ubiquitous Verification of Ubiquitous Systems |
189
click to vote
IM
2007
15 years 7 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
187
click to vote
IJCAI
1997
15 years 7 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
145
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...
149
Voted
APSEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
161
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We present ECSGlasses: eye contact sensing glasses that report when people look at their wearer. When eye contact is detected, the glasses stream this information to appliances to...