10038 search results - page 1866 / 2008 » Model Checking for Managers |
103
click to vote
ER
2010
Springer
14 years 11 months ago
2010
Springer
Researchers struggle to manage vast amounts of data coming from hundreds of sources in online repositories. To successfully conduct research studies, researchers need to find, ret...
168
click to vote
GIS
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we aim to estimate the similarity between users according to their GPS trajectories. Our approach first models a user’s GPS trajectories with a semantic location ...
121
Voted
IJAMC
2010
14 years 11 months ago
2010
: This paper presents the design, implementation and evaluation of Deadline-Driven Auctions (DDA), a novel task mapping infrastructure for heterogeneous distributed environments. D...
101
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Peer-to-peer (P2P) networks offer a cost effective and easily deployable framework for sharing user-generated content. However, intrinsic incentive problems reside in P2P networ...
118
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—A fundamental challenge of managing mutable data replication in a Peer-to-Peer (P2P) system is how to efficiently maintain consistency under various sharing patterns with heter...