17082 search results - page 256 / 3417 » Abstractions for Mobile Computation |
ISWC
2006
IEEE
14 years 4 months ago
2006
IEEE
Today's mobile phones are essentially off-the-shelf, mass-market wearable computers. In this paper, we describe mobile social software that uses location, proximity and tone ...
ER
1998
Springer
14 years 3 months ago
1998
Springer
1 Rumor is an optimistically replicated le system designed for use in mobile computers. Rumor uses a peer model that allows opportunistic update propagation among any sites replica...
HCI
2009
13 years 8 months ago
2009
The shift in human computer interaction from desktop computing to mobile interaction highly influences the needs for new designed interfaces. In this paper, we address the issue of...
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
TPHOL
1998
IEEE
14 years 3 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...