3667 search results - page 516 / 734 » Software Rejuvenation - Modeling and Analysis |
162
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
178
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
171
click to vote
CISSE
2007
Springer
16 years 21 days ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
168
click to vote
AUIC
2006
IEEE
16 years 18 days ago
2006
IEEE
The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awar...
157
click to vote
CODES
2006
IEEE
16 years 18 days ago
2006
IEEE
In deep sub-micron technology, the crosstalk effect between adjacent wires has become an important issue, especially between long on-chip buses. This effect leads to the increas...