2686 search results - page 203 / 538 » Testing metric properties |
164
click to vote
FORTE
2004
15 years 8 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...
123
click to vote
CORR
2006
Springer
15 years 6 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...
156
click to vote
NN
2002
Springer
15 years 6 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...
191
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We address the problem of the segmentation of cerebral white matter structures from diffusion tensor images (DTI). DTI can be estimated from a set of diffusion weighted images and...
191
click to vote
MOBIHOC
2009
ACM
16 years 1 months ago
2009
ACM
Wireless Mesh Networks (WMNs) has become an important edge network to provide Internet access to remote areas and wireless connections in a metropolitan scale. In this paper, we d...