3073 search results - page 162 / 615 » Real World Verification |
112
click to vote
MOBIDE
1999
ACM
15 years 8 months ago
1999
ACM
With rapid advancement in technology, mobile devices are increasingly becoming the norm. These devices are characterized by their need to operate even when they are disconnected f...
140
click to vote
TOIT
2008
15 years 4 months ago
2008
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
250
Voted
UIST
2010
ACM
15 years 2 months ago
2010
ACM
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...
202
click to vote
ACMACE
2011
ACM
14 years 4 months ago
2011
ACM
Alternate Reality Games (ARGs) are interactive narrative experiences that engage the player by layering a fictional world over the real world. Mobile ARG stories are often geo-sp...
140
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...