813 search results - page 141 / 163 » Correctness Properties for Multiagent Systems |
141
Voted
CISS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Two fundamental properties of wireless networks, the variable link quality and the broadcast nature of the transmission, have often been ignored in the design of routing protoc...
106
click to vote
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
130
click to vote
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Linear dispersion coded orthogonal frequency division multiplexing (LDC-OFDM) has recently been proposed to improve joint frequency and time diversity. This paper inves...
144
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
118
Voted
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...