Volume 31 (2009)

Front pages

Pages: 1–2

An agent based architecture style for application integration

Jari Peltonen and Mikko Vartiala

Pages: 3–22

Towards a profile-based approach to manage SOA-to-SOA integration challenges

T. Systä and M. Hartikainen

Pages: 23–41

Reference extraction and coauthorship visualization of semi-structured bibliographic data

G. Dražić, D. Dobrić, M. Radovanović and M. Ivanović

Pages: 43–56

Context awaraness in distributed computing systems

J. Preden and J. Helander

Pages: 57–73

Learning management system for programming in Java

B. Vesin, M. Ivanović and Z. Budimac

Pages: 75–92

Image retrieval using Gaussian mixture models

Zs. Robotka and A. Zempléni

Pages: 93–105

A semantic model for proving properties of clean I/O programs

M. Tejfel, T. Kozsik and Z. Horváth

Pages: 107–146

A tool for formally specifying the C++ standard template library

G. Dévai and N. Pataki

Pages: 147–166

Comparing and evaluating design pattern miner tools

L. J. Fülöp, Á. Ilia, Á. Z. Végh, P. Hegedűs and R. Ferenc

Pages: 167–184

Many-valued logic, mappings, ICF graphs, normal forms

K. Pásztor Varga and M. Várterész

Pages: 185–202

Measuring the complexity of students’ assignments

M. Juhás, Z. Juhász, L. Samuelis and Cs. Szabó

Pages: 203–215

Optimisation of bidirectional systolic arrays with sparse input by “folding”

L. Ruff

Pages: 217–233

Learning of constraint logic programs by combining unfolding and slicing techniques

Gy. Szilágyi Kocsisné

Pages: 235–258

Index of Volume 31

Pages: 259–259

Back pages

Pages: 261–262

ELTE FI