11051 search results - page 377 / 2211 » An Investigation of Generalized Cases |
182
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
204
click to vote
ACTA
2002
15 years 7 months ago
2002
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
237
click to vote
LOPSTR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
230
click to vote
SIGSOFT
2003
ACM
16 years 26 days ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
224
click to vote
FSTTCS
1991
Springer
15 years 11 months ago
1991
Springer
This paper closes a gap in the foundations of the theory of average case complexity. First, we clarify the notion of a feasible solution for a search problem and prove its robustne...