3742 search results - page 265 / 749 » On the Use of Formal Techniques for Validation |
195
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces a framework for clarifying and formalizing the duplicate document detection problem. Four distinct models are presented, each with a corresponding algorithm ...
169
click to vote
IFL
2007
Springer
16 years 23 days ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
144
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
168
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
173
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...