279 search results - page 48 / 56 » Testing for Refinement in CSP |
RECOMB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
MIR
2004
ACM
15 years 5 months ago
2004
ACM
For describing and analyzing digital images of paintings we propose a model to serve as the basis for an interactive image retrieval system. The model defines two types of feature...
108
click to vote
FASE
2006
Springer
15 years 3 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
105
click to vote
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
Learning to cope with domain change has been known
as a challenging problem in many real-world applications.
This paper proposes a novel and efficient approach, named
domain ada...
105
click to vote
SIGSOFT
2009
ACM
16 years 10 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...