December 2010
Volume 2, Number 2.

Whole issue as single pdf file:

pdf

December 2010, Volume 2, Number 2

Table of contents:

		Bulletin cover
	Ľ. Ištoňová	Descriptional Complexity of Finite State Automata	1
	M. Líška	Extending and Utilizing the Software and Systems Process Engineering Metamodel with Ontology	8
	M. Baláž	Contribution to Digital System Testing Methods	16
	M. Mánik	System Level Diagnostics over the PMC Model	24
	Z. Ďurčík	Automated web service composition with knowledge approach	30
	E. Gatial	Approach to Coordinating Distributed Execution of Agents for Trusted Information Collection	38
	J. Janáček	General Purpose Operating System for Security-critical Applications	49
	A. Smrčka	Verification of Asynchronous and Parametrized Hardware Designs	60
	L. Skovajsova	Document Retrieval by Feed-forward Neural Networkss	70
	P. Weiss	Modeling of Service-Oriented Architecture: Integration of Business Process and Service Modeling	79
	T. Martínek	Evaluation of Biological Sequence Similarity Using FPGA Technology	93
	J. Kořenek	Fast Regular Expression Matching Using FPGA	103
	P. Svojanovský	Risk Management in IT Service Security	112
	I. Szöke	Hybrid word-subword spoken term detection	121
	J. Vrana	Contextual Visualization of Ontological Models	130
	V. Vaneková	Preferential Querying for the Semantic Web	137
	M. Kotočová, M. Bieliková	Report from Slovak University of Technology	149

Submit your paper with submition form

Extended abstracts of Dissertations

Order form doc, pdf