3914 search results - page 213 / 783 » Automating SLA modeling |
INFSOF
2000
13 years 8 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
ASP
2005
Springer
14 years 1 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
IRMA
2000
13 years 9 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...