2514 search results - page 300 / 503 » The use of industrial-strength formal methods |
149
click to vote
FMICS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
157
click to vote
FORMATS
2007
Springer
16 years 22 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
175
click to vote
ICA
2007
Springer
16 years 22 days ago
2007
Springer
Functional Data Analysis (FDA) is used for datasets that are more meaningfully represented in the functional form. Functional principal component analysis, for instance, is used to...
173
click to vote
IFL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
170
click to vote
ER
2005
Springer
16 years 2 days ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...