Ausgabe 6/2015
Inhalt (7 Artikel)
A combined toolset for the verification of real-time distributed systems
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, V. V. Podymov, I. V. Konnov
Methods for automatic term recognition in domain-specific text collections: A survey
N. A. Astrakhantsev, D. G. Fedorenko, D. Yu. Turdakov
Encapsulation of partitioned parallelism into open-source database management systems
C. S. Pan, M. L. Zymbler
The current state of art in program obfuscations: definitions of obfuscation security
N. P. Varnovskiy, V. A. Zakharov, N. N. Kuzyurin, A. V. Shokurov
Automated exploit generation for stack buffer overflow vulnerabilities
V. A. Padaryan, V. V. Kaushan, A. N. Fedotov