959 search results - page 61 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
WIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
IV
2003
IEEE
14 years 1 months ago
2003
IEEE
The Stardinates are a novel interactive Information Visualization (InfoVis) technique which aims at visualizing highly structured data. They represent some Gestalt principles very...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We present a generalization of conventional artificial neural networks that allows for a functional equivalence to multi-expert systems. The new model provides an architectural fr...
FM
2003
Springer
14 years 1 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...