3342 search results - page 127 / 669 » Automating Abstract Interpretation |
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
KI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
VTC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— The tower-top deployment of base station electronics could prove of utility in future cellular communication applications. We present a scalable, non-radiative, automat...
ICAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— DotSlash is an automated web hotspot rescue system. This paper presents DotSlash Qcache services that allow a web site to use on-demand distributed query result caching...
106
click to vote
RSCTC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...