738 search results - page 137 / 148 » Formal Methods: for All or for Chosen |
TSE
2008
13 years 6 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
CBSE
2011
Springer
12 years 6 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
IJCAI
1989
13 years 7 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
ECCV
2004
Springer
14 years 8 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...