714 search results - page 49 / 143 » Certifying Model Checkers |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
TGC
2005
Springer
14 years 2 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...
ICNC
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, product structure is taken as knowledge acquisition point, and the effective knowledge acquisition path is discussed by establishing the associated relationship bet...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
Tracking groups of people is a highly informative task in surveillance, and it represents a still open and little explored issue. In this paper, we propose a brand new framework f...