• SRCE University Computing Centre, University of Zagreb

UNDER THE AUSPICES OF

• Croatian Academy of Sciences and Arts
• Ministry of Science and Technology, Republic of Croatia
• University of Zagreb

CO-OPERATING INSTITUTIONS

• Arizona State University
• Athens University of Economics and Business
• Croatian Society for Simulation Modelling
• Department of Computer Science, North Carolina State University
• Department of Computer Science and Engineering, Slovak Technical University, Bratislava
• Department of Statistics and Operations Research, Polytechnical University of Catalonia, Barcelona
• European Business Management School, Swansea
• Faculty of Economics, University of Zagreb
• Faculty of Electrical Engineering, University of Zagreb
• School of Computing and Management Sciences, Sheffield Hallam University
• Working Group Simulation, Technical University Vienna

Chairman

V. Ceric,
Faculty of Economics,
University of Zagreb, Croatia

Members

M. Becue, Spain	E. Boerger, Italy
I. Bratko, Slovenia	F. Breitenecker, Austria
L. Budin, Croatia	G. Doukidis, Greece
A. Javor, Hungary	B. Jeren, Croatia
C. Jones, UK	D. Kalpic, Croatia
J. Kuljis, UK	T. Legovic, Croatia
P. Long, UK	V. Luzar, Croatia
M. T. Molfino, Italy	I. Olkin, USA
R. J. Paul, UK	M. Pidd, UK
S. Ribaric, Croatia	J. Rosenbilt, USA
D. Rosenzweig, Croatia	E. Saliby, Brasil
A. Seila, USA	A. Smailagic, USA
V. Vojtek, Slovakia	M. A. Vouk, USA

Chairman

S. Krajcar

Vice Chair

V. Hljuz Dobric

Members

M. Maletic

I. Maric

M. Mauher

B. Radic

PREFACE

INVITED PAPERS

Bonac, M. (pp 3)

OVERVIEW OF ACADEMIC NETWORKING INITIATIVES IN EUROPE

Futo, I., (pp 9)

IT TECHNOPOLIS AND MEDIA-TOWN SZEKESFEHERVAR

Paul, R. J. (pp 19)

WHY INFORMATION SYSTEMS DISAPPOINT

Vranesic, Z. (pp 25)

RING-BASED MULTIPROCESSORS

Brilhault, Y., Dagorret, P., Duboue, M., Jaber, G. (pp 33)

A SPECIFICATION METHOD ENVIRONMENT FOR BEGINNERS

Gold, H., Tos, Z. (pp 39)

LEVEL CROSSING EDUCATION MODULE - A MULTIMEDIA LEARNING ENVIRONMENT FOR RAILWAY ENGINEERS

Jakovljevic, Z., Firak, M. (pp 45)

COMPUTER-AIDED PROCESSING OF MEASUREMENT DATA COLLECTED ON TWO-PHASE FLOW TEST LOOP

Jones, C., Romano, P. R. (pp 49)

BRINGING LP TO LIFE

Kuljis, J. (pp 55)

DEVELOPING A SYLLABUS FOR AN APPLIED COMPUTING DEGREE PROGRAMME

Loncar, D. (pp 61)

SIMULATION OF OIL HEATER CONTROL LOOP DYNAMICS

Stih, Z. (pp 65)

COMPUTER BASED TRAINING IN ENGINEERING EDUCATION

Aniorte, P., Jaber, G. (pp 73)

AN EXTENSION OF A DBMS TOWARD AN DBMS USING ADA TASKS

Bobek, S., Lesjak, D. (pp 79)

EXPERT SYSTEMS APPLIED TO EXECUTIVE SUPPORT SYSTEMS

Cornish, J. M., Mills, Zs, Paul, R. J. (pp 85)

LIVING DATABESES: CONCEPTS AND OBJECTIVES

Cvitas, M., Garvas Delic, A. (pp 91)

ABOUT DATA INTERCHANGE AND STANDARDS INVOLVED

Czejdo, B. D., Tucci, R. P. (pp 97)

A GRAPHICAL LANGUAGE FOR INFORMATION SYSTEMS

Garvas Delic, A., Cvitas, M. (pp 111)

MDA DATA STANDARD. ADAPTING FOR CROATIAN

Jelovac, N. (pp 117)

CALIBRATING LARGE SYSTEMS: A SHORTCUT APPROACH

Kalpic, D., Anzil, J., Dumanic, V., Zokovic, H. (pp 123)

STUDENT ADMINISTRATION SYSTEM

Majdandzic, N. (pp 129)

INFORMATION SYSTEM FOR PRODUCTION MANAGEMENT (ASIP)

Skrlec, D., Krajcar, S., Blagajac, S. (pp 135)

GIS APPLICATIONS FOR ELECTRIC POWER SYSTEM ANALYSES AND PLANNING

Vedris, M., Ljubas, B. (pp 141)

DIAGRAMS BEFORE DEFINITIONS IN CONCEPTUAL DATA MODELLING

Dalbelo Basic, B. (pp 149)

SIMULATION OF GLOBAL REGISTER ALLOCATION VIA GRAPH COLOURING

Gergatsoulis, M., Katzouraki, M. (pp 155)

PROGRAM TRANSFORMATIONS FOR NON-LINEAR RECURSIVE LOGIC PROGRAMS

Love, M. (pp 161)

SQL*FORMS: ANIMATING Z SPECIFICATIONS

Maricic, A. (pp 167)

FORMAL DESIGN

Mikusiak, L., Vojtek, V., Morrey, I. (pp 175)

BROWSER FOR FORMAL SPECIFICATIONS WRITTEN IN Z

Morrey, I., Siddiqi, J., Hibberd, R., Buckberry, G (pp 187)

USE OF A FORMAL SPECIFICATION ANIMATION TOOL TO TEACH FORMAL METHODS

Ozcan, M. B. (pp 193)

AN ARCHITECTURAL MECHANISM ENABLING THE USE OF EXECUTABLE SPECIFICATIONS ALONG WITH CONVENTIONAL IMPLEMENTATIONS

Arran, J. M., Saeedi, M. H. (pp 201)

TRANSPUTER LOAD-BALANCING A PARALLEL FRAME-BASED KBS

Cundeva, K. (pp 207)

LEARNING IN EXAMPLE-BASED MACHINE TRANSLATION

Fric., P., Sefcik, J., Vojtek, V. (pp 213)

EXPERT SYSTEMS WITH NEURAL NETWORK SUPPORT

Gilbert, K., Cortes, U. (pp 219)

ON THE USES OF THE EXPERT KNOWLEDGE FOR AUTOMATIC BIASING OF A CLUSTERING METHOD

Jaksic, P. (pp 225)

COMPLETENESS AND CONSISTENCY OF EXPERT SYSTEMS WITH UNCERTAIN CONCLUSIONS

Kovacevic, A., Stipanicev D., Filipovic, T., Kovacevic, D. (pp 231)

EXPERT SYSTEM FOR HUMAN GENETIC STRUCTURE IDENTIFICATION

Ribaric, S. (pp 237)

AN INHERITANCE ALGORITHM IN THE KNOWLEDGE REPRESENTATION SCHEME

Bunjevac, H. (pp 245)

ADAPTIVE ALGORITHM FOR DISTRIBUTED SHARE MEMORY MANAGEMENT

Cekro, Z. (pp 251)

REALIZATION OF NETWORK CONGESTION CONTROL IN SYSTEM ENERGONET-PSI

Hogg, R. S., Lloyd D. W., Hughes, W. I. (pp 257)

USING OCCAM AND TRANSPUTERS TO EMULATE ASYNCHRONOUS SELF-TIMED ARRAY PROCESORS

Ilakovac, T., Tulac, S. (pp 263)

WORKMATES: TCP/IP BASED DISTRIBUTED APPLICATION MANAGER

Margetin, P. Rostar, R. (pp 269)

AN EXPERIMENTAL SECURITY ENVIRONMENT

Radej, J., Perusko, U., Budin, L. (pp 275)

AN APPROACH IN MACHINE TOOL SIMULATION

Schrettner, L., Jelly, I. E. (pp 281)

INVESTIGATION OF DYNAMIC LOAD BALANCING IN DISTRIBUTED MEMORY MULTIPROCESSOR MACHINES

Srbljic, S. (pp 287)

AN ASYNCHRONOUS OWNERSHIP CONTROL ALGORITHM FOR BERKELEY PROTOCOL

Sruk, V., Srbljic, S. (pp 295)

COMPARISON OF DATA REPLICATION COHERENCE PROTOCOLS FOR DISTRIBUTED SYSTEMS

Simicic, LJ. (pp 303)

IMPLEMENTATION OF DISTRIBUTED OPERATING SYSTEMS IDEAS

Becue Bertaut, M., Piero, R., Samper, T. (pp 309)

HEALTHY CITIES SURVEY IN THE CITY OF ELCHE. TOWARDS AN AUTOMATIC POSTCODIFICATION OF OPEN-ENDED ANSWERS

Fischer, D., Jovic, F., Scitovski, R. (pp 315)

FEASIBILITY OF TOOLS FOR SOLVING A LINEAR OVER-DETERMINED SYSTEM

Kern, J., Sonicki, Z., Hercigonja-Szekres, M., Bartolic, A., Ivankovic, D., Vuletic, S. (pp 321)

ANALYTICAL MODULE FOR HEALTH CARE MANAGEMENT

Ziha, K. (pp 327)

DESCRIPTIVE SAMPLING IN PROBABILITY INTEGRATION

Angelides, M. C., Paul R. J. (pp 337)

GAMING-SIMULATIONS WHICH INCORPORATE INTELLIGENT TUTORING SYSTEMS

Bekic, Z. (pp 345)

SIMULATION MODEL OF GENERALISED MULTIPROCESSOR SYSTEM

Bogdan, Z., Duic, N. (pp 351)

THREE-DIMENSIONAL SIMULATION OF THE COMBUSTION PROCESS IN AN OIL-FIRED FURNACE

Boljevic, Z., Bilic,R., Zdravkovic, V., Kovjanic, J., Ruzic, L.(pp 357)

COMPUTER-ASSISTED THREE-DIMENSIONAL MODELLING FOR DEFINITION AND CORRECTION OF DEFORMITIES IN ORTHOPAEDIC SURGERY

Coric, V. (pp 365)

TIME DOMAIN SIMULATION OF NON-LINEAR STOCHASTIC MODEL-IS IT RIGHT WAY?

Dado, B., Menhart, P., Safarik, J. (pp 373)

DISTRIBUTED SIMULATION: ARCHITECTURE OF A SIMULATION SYSTEM FOR DISCRETE EVENT SYSTEMS

Dusak, V. (pp 379)

THE OPTIMISATION METHODS IN SIMULATION STUDY

Hlupic, V., Paul, R. J. (pp 387)

SELECTING SOFTWARE FOR MANUFACTURING SIMULATION

Kveder, M., Mozetic, M., Brecelj, F., Drobnic, M. (pp 395)

MODELLING OF HYDROGEN RECOMBINATION COEFFICIENT

Mladenic, D., Bratko, I., Paul. R. J., Grobelnik, M. (pp 401)

USING MACHINE LEARNING TECHNIQUES TO INTERPRET RESULTS FROM DISCRETE EVENT SIMULATION

Omrcen-Ceko, G., Bunjevac H., (pp 407)

AN IMPLEMENTATION OF A LARGE-SCALE CIRCUIT SIMULATOR ON A MULTI-PROCESSOR SYSTEM

Poore, A. B., Rijavec, N. (pp 413)

A COMPARISON OF SEVERAL ALGORITHMS FOR MULTIDIMENSIONAL ASSIGNMENTS

Dumicic, S., Cimermanovic, B., Dumicic, K. (pp 421)

DEVELOPING OF THE BUSINESS REGISTERS IN CROATIA

Legovic, T., Limic, N., Benis, R. (pp 427)

MAPBASIN PACKAGE FOR 2- AND 3-D MODELS OF POLLUTANT DISPERSION

Mladineo, N., Knezic, S., Pavasovic, S. (pp 433)

DEVELOPMENT OF "LAND RENT MODEL" USING MULTICRITERIONAL ANALYSIS AND GEOGRAPHICAL INFORMATION SYSTEMS

Schlogl, C. (pp 439)

HYPERMEDIA IN ENTERPRISES - CRITICAL DISCUSSION

Treven, S. (pp 451)

TELECOMMUNICATIONS AS THE STRATEGIC RESOURCE OF AN ENTERPRISE

Gaborovic, S. (pp 459)

THE KAROUBY CONSTRUCTION OF P-CATEGORY

Manger, R. (pp 465)

IMPLEMENTING PARALLEL "FOR" LOOPS ON MULTIPROCESSORS

Mohorko, J., Filip, P., Planinsic, P., Cucej, Z., Djonlagic, D. (pp 471)

IMAGE CODING USING PYRAMID VECTOR QUANTIZATION OF WAVELET COEFFICIENTS

Planinsic, P., Mohorko, J., Cucej, Z., Djonlagic, D., Filip, P. (pp 477)

IMAGE COMPRESSION BASED ON THE DISCRETE WAVELET TRANSFORM

Vlasic, D., Pogorelc, J., Jezernik, K. (pp 483)

FORMAL VERIFICATION OF REAL TIME DISCRETE EVENT SYSTEM INVARIANCE PROPERTIES

Vrbanec, J., Svecko, R., Bele-Tominc, L., Djonlagic, D. (pp 489)

A REAL TIME CONTROL USING NONPARAMETRIC MODEL

Yang, Y. (pp 495)

STRATIFIED NONMONOTONIC TRUTH MAINTENANCE SYSTEM AND ITS APPLICATIONS

SUPPLEMENT (Late Papers)

Elmaghraby, S. E., Baxter, E. I., Vouk, M A. (pp 505)

THE MODELING AND ANALYSIS OF SOFTWARE PRODUCTION PROCESSES