1492 search results - page 169 / 299 » Testing Properties of Constraint-Graphs |
131
click to vote
ICIP
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper introduces a new classification scheme called “open-ended texture classification.” The standard approach for texture classification is to use a closed n-class cl...
123
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
109
Voted
DAWAK
2000
Springer
15 years 8 months ago
2000
Springer
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...
114
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
125
click to vote
ECRTS
1999
IEEE
15 years 8 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...