Content 5/2006

Vol. 25, 2006, No. 5

This number contains 6 articles.

Formal Verification of Security Model Using SPR Tool
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
pp. 353–368
Speaker Recognition in the Biometric Security Systems
Filip Orság
pp. 369–391
Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes
Eduard Toman, Martin Stanek
pp. 393–404
Using Heuristic Search for Solving Single Machine Batch Processing Problems
Thanh-Tung Dang, Baltazár Frankovič, Ivana Budinská, Ben Flood, Con Sheahan, Bao-Lam Dang
pp. 405–420
AgentOWL: Semantic Knowledge Model and Agent Architecture
Michal Laclavík, Zoltán Balogh, Marian Babík, Ladislav Hluchý
pp. 421–439
Testability Analysis and Improvements of Register-Transfer Level Digital Circuits
Josef Strnadel
pp. 441–464