678 search results - page 129 / 136 » The Theory of Weak Stabilization |
WWW
2007
ACM
14 years 8 months ago
2007
ACM
In this paper, we describe several findings from a multi-year, multi-method study of how information and communication technologies have been adopted and adapted in Central Asia. ...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
In matching tasks in computer vision, and particularly in real-time tracking from video, there are generally strong priors available on absolute and relative correspondence locati...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Many results have been published in the literature based on performance measurements obtained from simulations of Vehicular Networks (VANETs). These simulations use as input tra...
FC
2009
Springer
14 years 2 months ago
2009
Springer
Inadvertent insiders are trusted insiders who do not have malicious intent (as with malicious insiders) but do not responsibly managing security. The result is often enabling a mal...