117 search results - page 15 / 24 » On the behavioral diversity of random programs |
162
click to vote
SAC
2010
ACM
16 years 13 days ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
180
Voted
IJCAI
2003
15 years 7 months ago
2003
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
177
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
165
click to vote
CONEXT
2008
ACM
15 years 7 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
138
click to vote
AAAI
1994
15 years 7 months ago
1994
A variety of reactive plan execution systems have been developed in recent years, each attempting to solve the problem of taking reasonable courses of action fast enough in a dyna...