1036 search results - page 126 / 208 » Ubiquitous Verification of Ubiquitous Systems |
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
KI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...
CSCW
2004
ACM
14 years 21 days ago
2004
ACM
We present a conceptual framework for location-aware community systems and results from two studies of how sociallydefined places influence people's information sharing and c...
ASPLOS
2004
ACM
14 years 2 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
MM
2009
ACM
14 years 3 months ago
2009
ACM
Until recently, QoE (Quality of Experience) experiments had to be conducted in academic laboratories; however, with the advent of ubiquitous Internet access, it is now possible to...