2580 search results - page 113 / 516 » Systems for human-powered mobile computing |
NSF
2001
Springer
15 years 2 months ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
ICDCS
1998
IEEE
15 years 2 months ago
1998
IEEE
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....
ACMACE
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we describe results from the experiments of a location-dependent shared virtual world system applied to sightseeing entertainment. This system can be used with GPSp...
93
Voted
ASE
2004
14 years 10 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...