797 search results - page 124 / 160 » XML version detection |
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
101
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
123
click to vote
ADC
2007
Springer
15 years 6 months ago
2007
Springer
The detection of image versions from large image collections is a formidable task as two images are rarely identical. Geometric variations such as cropping, rotation, and slight p...
AUSDM
2007
Springer
15 years 6 months ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
CPM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Detecting historical recombination is an important computational problem which has received great attention recently. Due to recombination, input sequences form a mosaic,...