Vol. 25 No. 5 (2006): Computing and Informatics

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

  353-368

  • PDF

• Speaker Recognition in the Biometric Security Systems

  Filip Orság

  369-391

  • PDF

• Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes

  Eduard Toman, Martin Stanek

  393-404

  • PDF

• Using Heuristic Search for Solving Single Machine Batch Processing Problems

  Thanh Tung Dang, Baltazár Frankovic, Ivana Budinská, Ben Flood, Con Sheahan, Bao Lam Dang

  405-420

  • PDF

• AgentOWL: Semantic Knowledge Model and Agent Architecture

  Michal Laclavík, Zoltán Balogh, Marian Babík, Ladislav Hluchý

  421-439

  • PDF

• Testability Analysis and Improvements of Register-Transfer Level Digital Circuits

  Josef Strnadel

  441-464

  • PDF