1036 search results - page 100 / 208 » Ubiquitous Verification of Ubiquitous Systems |
VR
2002
IEEE
14 years 3 months ago
2002
IEEE
Temporal links allow recordings of multi-user sessions to be dynamically inserted into current virtual worlds in a flexible and principled way. This paper explores key application...
HOTOS
2007
IEEE
14 years 2 months ago
2007
IEEE
Web applications are important, ubiquitous distributed systems whose current security relies primarily on server-side mechanisms. This paper makes the end-toend argument that the ...
EUSAI
2004
Springer
14 years 1 months ago
2004
Springer
Pervasive resp. ubiquitous systems use context information to adapt appliance behavior to human needs. Even more convenience is reached if the appliance foresees the user's de...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
CHI
2010
ACM
2010
ACM
Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions
14 years 3 days ago
We examine opportunities for ubiquitous technologies in retail shopping, jewelry shopping in this case, to supplement the unique information needs inherent to physical trials of t...