Sciweavers

1825 search results - page 145 / 365
» Designing Mobile Learning Experiences
Sort
View
POPL
2001
ACM
16 years 1 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
111
Voted
DRM
2003
Springer
15 years 6 months ago
Digital rights management in a 3G mobile phone and beyond
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...
Thomas S. Messerges, Ezzat A. Dabbish
ISSTA
2009
ACM
15 years 5 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
ACMDIS
2010
ACM
15 years 1 months ago
Observing the mobile music phenomenon: one in nine commuters is wired
In this study we attempt to quantify the popularity of mobile music device utilization. We present an observational method to study music interaction in the wild and assess the re...
Lassi A. Liikkanen, Mikko Lahdensuo
101
Voted
VL
2005
IEEE
137views Visual Languages» more  VL 2005»
15 years 6 months ago
CAM: A Mobile Paper-Based Information Services Architecture for Remote Rural Areas in the Developing World
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...
Tapan S. Parikh