487 search results - page 55 / 98 » Integral Invariant Signatures |
EWSA
2005
Springer
14 years 3 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
ICALP
1992
Springer
14 years 2 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
ICFEM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
DKE
2010
13 years 10 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
CVPR
2006
IEEE
14 years 12 months ago
2006
IEEE
Inspired by the underlying relationship between classification capability and the mutual information, in this paper, we first establish a quantitative model to describe the inform...