534 search results - page 44 / 107 » One more bit is enough |
HVC
2005
Springer
14 years 1 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
DSOM
2005
Springer
14 years 1 months ago
2005
Springer
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...
AMAST
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
AI
2001
Springer
13 years 11 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
CASCON
1996
13 years 9 months ago
1996
Software development managers strive to control all of the factors that might impact the success of their projects. However, not all of these factors have been identified, much le...