4075 search results - page 167 / 815 » Modeling Distributed Algorithm Using B |
115
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...
111
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
107
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper approaches statistical optimization by examining gate delay variation models and optimization objectives. Most previous work on statistical optimization has focused exc...
138
Voted
JMLR
2010
14 years 7 months ago
2010
We introduce novel results for approximate inference on planar graphical models using the loop calculus framework. The loop calculus (Chertkov and Chernyak, 2006b) allows to expre...
113
click to vote
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—We propose a novel algorithm for detecting wormhole attacks in wireless multi-hop networks. The algorithm uses only connectivity information to look for forbidden substr...