3742 search results - page 48 / 749 » On the Use of Formal Techniques for Validation |
153
click to vote
HICSS
2011
IEEE
14 years 3 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
100
click to vote
CICLING
2008
Springer
15 years 1 months ago
2008
Springer
Short texts clustering is one of the most difficult tasks in natural language processing due to the low frequencies of the document terms. We are interested in analysing these kind...
177
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Validation of multi-column schema matchings is essential for successful database integration. This task is especially difficult when the databases to be integrated contain little o...
114
click to vote
VL
2000
IEEE
15 years 4 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
ENC
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...