6456 search results - page 938 / 1292 » Constraint Solving on Terms |
166
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Total Order Broadcast protocols are important tools to ensure coherence across distributed systems. Contrarily to classical distributed systems, pervasive systems bring important ...
191
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— While there has been substantial progress for multi-robot exploration of an unknown area, little attention has been given to communication, especially bandwidth constraints in ...
175
click to vote
IGPL
2010
15 years 5 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
161
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...
188
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...