813 search results - page 141 / 163 » Correctness Properties for Multiagent Systems |
187
click to vote
CISS
2007
IEEE
16 years 10 days 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...
138
click to vote
WDAG
2007
Springer
16 years 3 days 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...
157
click to vote
VTC
2006
IEEE
16 years 15 hour 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...
185
click to vote
AADEBUG
2005
Springer
15 years 11 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...
144
click to vote
MKM
2005
Springer
15 years 11 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...