146 search results - page 26 / 30 » Automated Abstractions for Contract Validation |
CSMR
2004
IEEE
13 years 11 months ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
TROB
2008
13 years 7 months ago
2008
Abstract--The increasing demand for virtual reality applications in several scientific disciplines feeds new research perspectives dealing with robotics, automation, and computer s...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Measurements have shown that network path failures occur frequently in the Internet and physical link failures can cause network instability in large scale and severity...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...