537 search results - page 28 / 108 » Mobile sound communities |
GG
2008
Springer
13 years 11 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
IKE
2007
13 years 11 months ago
2007
- Organizations need to build and use knowledge to remain viable in the face of competition and change. Due to the limits of organization and the bounded rationality of individuals...
BCSHCI
2008
13 years 11 months ago
2008
In this paper we describe a user-centered approach to designing and evaluating a socially interactive mobile game for the elderly. The objective of the game is to encourage the el...
ASE
2004
13 years 9 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
The world-wide growth of the mobile-telephony market opens the door for mobile commerce (m-commerce). For the restricted target platforms used for m-commerce such as mobile phones...