Sciweavers

17 search results - page 3 / 4
» ershov 2003
Sort
View
ERSHOV
2003
Springer
13 years 10 months ago
ProgDOC - A New Program Documentation System
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
Volker Simonis, Roland Weiss
ERSHOV
2003
Springer
13 years 10 months ago
TeXOR: Temporal XML Database on an Object-Relational Database System
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...
Kjetil Nørvåg, Marit Limstrand, Lene ...
ERSHOV
2003
Springer
13 years 10 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
ERSHOV
2003
Springer
13 years 10 months ago
On the Possibility of Provably Secure Obfuscating Programs
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
Nikolay P. Varnovsky, Vladimir A. Zakharov
ERSHOV
2003
Springer
13 years 10 months ago
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong H...