4078 search results - page 160 / 816 » The COMPASS Location System |
146
click to vote
WIMOB
2007
IEEE
15 years 11 months ago
2007
IEEE
— There exists a multitude of location-sensing systems utilizing wireless technology, though varying in cost, coverage and accuracy. In this paper we will introduce WLocator, a s...
119
click to vote
SIBGRAPI
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
147
click to vote
AOSE
2003
Springer
15 years 9 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
113
click to vote
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
118
click to vote
ADBIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we study data replication in a mirrored disk system. Free disk space is exploited by keeping replicas of specific cylinders at appropriate disk locations. A...