386 search results - page 16 / 78 » Improving Lotos Simulation Using Constraint Propagation |
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
ENTCS
2008
14 years 9 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
CPAIOR
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
WSC
1998
14 years 11 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
157
click to vote
AIME
2003
Springer
15 years 2 months ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...