2825 search results - page 199 / 565 » Globalization of Belief Distributions |
165
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
—Slepian-Wolf coding is a promising distributed source coding technique that can completely remove the data redundancy caused by the spatially correlated observations in wireless...
192
click to vote
RSP
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
151
click to vote
ICOIN
2007
Springer
16 years 21 days ago
2007
Springer
Construction of overlay networks without any consideration of real network topologies causes inefficient routing in peer-to-peer networks. This paper presents the design and evalua...
181
click to vote
WDAG
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
188
click to vote
ACSD
2006
IEEE
16 years 19 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...