3330 search results - page 466 / 666 » software 2010 |
262
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
204
click to vote
PTS
2010
15 years 3 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
165
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...
144
click to vote
SEUS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
139
click to vote
SICHERHEIT
2010
15 years 3 months ago
2010
: A network early warning system consists of several distributed sensors to detect malicious network activity. The effectiveness of such early warning systems critically depends on...