2266 search results - page 308 / 454 » Some Solutions to the Ignoring Problem |
162
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
149
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
182
click to vote
FORTEST
2008
15 years 8 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
156
click to vote
CMS
2003
15 years 8 months ago
2003
Abstract. Some security problems can be often solved through authorization rather than authentication. Furthermore, certificate-based authorization approach can alleviate usual dr...
161
click to vote
JAT
2007
15 years 6 months ago
2007
We know that not all minimal projections in Lp (1 < p < ∞) are unique (see [39]). The aim of this paper is examine the connection of the Chalmers-Metcalf operator (introduc...