8828 search results - page 1173 / 1766 » Formal methods in practice |
158
Voted
FSE
1999
Springer
15 years 11 months ago
1999
Springer
Whereas a block cipher enciphers messages of some one particular length the blocklength , a variable-input-length cipher takes messages of varying and preferably arbitrary leng...
174
Voted
UML
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
215
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...
211
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...
203
Voted
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...