289 search results - page 40 / 58 » Formal Verification in a Commercial Setting |
ICDT
2012
ACM
13 years 1 days ago
2012
ACM
The problems of query containment, equivalence, and minimization are recognized as very important in the context of query processing, specifically of query optimization. In their...
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
68
Voted
DAWAK
2008
Springer
14 years 11 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
78
Voted
WSC
1996
14 years 11 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...