3384 search results - page 238 / 677 » More Testable Properties |
189
click to vote
WONS
2005
IEEE
16 years 5 days ago
2005
IEEE
Multipath routing minimizes the consequences of security attacks deriving from collaborating malicious nodes in MANET, by maximizing the number of nodes that an adversary must com...
157
click to vote
ACMSE
2005
ACM
16 years 4 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
167
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Temporal difference (TD) learning methods [22] have become popular reinforcement learning techniques in recent years. TD methods have had some experimental successes and have been...
191
click to vote
BERTINORO
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
175
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...