1837 search results - page 220 / 368 » Architecture = Abstractions over Software |
104
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
97
Voted
DEXAW
1998
IEEE
15 years 5 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
123
Voted
EDBTW
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
100
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
107
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...