10568 search results - page 260 / 2114 » Computer Intelligence and Formalization |
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
114
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
133
click to vote
FORTEST
2008
15 years 4 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
133
click to vote
EDUTAINMENT
2007
Springer
15 years 9 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
107
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...