819 search results - page 95 / 164 » Using Assumptions to Distribute CTL Model Checking |
162
click to vote
ICWSM
2009
15 years 2 months ago
2009
Whether they are modeling bookmarking behavior in Flickr or cascades of failure in large networks, models of diffusion often start with the assumption that a few nodes start long ...
180
click to vote
DMSN
2009
ACM
15 years 11 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
150
click to vote
ICAT
2003
IEEE
15 years 10 months ago
2003
IEEE
A basic problem with Augmented Reality systems using Head-Mounted Displays (HMDs) is the perceived latency or lag. This delay corresponds to the elapsed time between the moment wh...
156
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Image retrieval has been widely used in many fields of science and engineering. The semantic concept of user interest is obtained by a learning process. Traditional techniques oft...
177
click to vote
SASN
2005
ACM
15 years 10 months ago
2005
ACM
Pairwise key establishment is a fundamental service provided in secure sensor networks. However, due to resource constraints, establishing pairwise keys is not a trivial task. Rec...