2312 search results - page 212 / 463 » Invariance in Property Testing |
136
click to vote
FORTE
2004
15 years 6 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
98
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
138
Voted
NN
2002
Springer
15 years 4 months ago
2002
Springer
In this paper we introduce novel geometric concepts, namely category regions, in the original framework of Fuzzy-ART (FA) and FuzzyARTMAP (FAM). The definitions of these regions a...
122
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
129
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
A novel shape descriptor is introduced. It groups pairs of points that share a geometrical property that is based on their mutual symmetry. The descriptor is visualized as a diagon...