28962 search results - page 337 / 5793 » Computational Mechanism Design |
165
click to vote
ARITH
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
151
Voted
KIVS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract: Although file and printer sharing services have been deployed almost ubiquitously for a long time as part of Microsoft Windows, only recent peer-to-peer applications pop...
146
click to vote
ACMSE
2004
ACM
16 years 3 days ago
2004
ACM
Sensor networks consist of resource-constrained sensors operating in a variety of environments. Given the severe constraints on these sensors, it is a particularly challenging pro...
161
click to vote
COORDINATION
2004
Springer
16 years 2 days ago
2004
Springer
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
181
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...