7991 search results - page 1238 / 1599 » Using More Reasoning to Improve |
208
click to vote
CONEXT
2006
ACM
16 years 25 days ago
2006
ACM
Modeling TCP is fundamental for understanding Internet behavior. The reason is that TCP is responsible for carrying a huge quota of the Internet traffic. During last decade many a...
180
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
194
click to vote
SAT
2005
Springer
16 years 10 days ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
180
Voted
AMAI
2004
Springer
16 years 7 days ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...
205
click to vote
BIRTHDAY
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...