4117 search results - page 527 / 824 » On the Satisfiability of Complex Constraints |
169
click to vote
JCDL
2004
ACM
16 years 7 days ago
2004
ACM
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...
176
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
182
click to vote
JIT
2004
Springer
16 years 5 days ago
2004
Springer
Software product lines (PLs) present a solid approach in large scale reuse. Due to the PLs’ inherit complexity, many PL methods use the notion of ”features” to support requir...
168
click to vote
WDAG
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A MAC protocol specifies how nodes in a sensor network access a shared communication channel. Desired properties of such MAC protocol are: it should be distributed and c...
170
Voted
IEEEAMS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper attempts to identify one of the necessary conditions for self-healing, or self-repair, in complex systems, and to propose means for satisfying this condition in heterog...