9.00-11.00 OPENING SESSION OF

2nd International Workshop on Applied Formal Methods in System Design

Kristian Toivo, Antun Caric (fi, hr)
Software Development in Telecommunications - Problems and Challenges

Rance Cleaveland (usa)
A Tool Framework for Verifying Concurrent Systems

11.30-12.30 NETWORK DEVELOPMENT

Thomas Korst (dk)
Dynamic Traffic Distribution

Michail Zharkov, Alexander Shaparev, Konstantin Samouylov (ru)
* Basic Principles for Russian SS#7 Toll Network Design

Ivan Car, Davor Ugrin, Zeljka Sironic, Nadica Curic-Segaric, Ivana Sekula (hr)
* Trends at the Global Telecommunications Market

11.30-12.30 RADIO & SATELLITE COMMUNICATIONS

Marija Vrdoljak, Vedran Bozic (hr)
Applicability Estimation of Paging System Protocols

Josko Zec (usa)
* An Overview of NASA Tracking and Data Relay Satellite System

Drasko Marin (hr)
* Satellite - Personal Communication Services (S-PCS) - Regulatory Aspects

14.00-15.30 ATM 1

Rima Venturin, Vjekoslav Sinkovic (no, hr)
Framework for Dimensioning Public ATM Network

Mette Rohne (no)
On Dimensioning of ATM-based VP-Networks

14.00-15.30 SOFTWARE DESIGN & QUALITY

Dragutin Flam, Vjeran Radatovic (hr)
TQM in Telecommunication Software Design

Mika Kamarainen (fi)
Usage of TTCN in Testing of Signalling Protocols

Davor Dokonal, Dragan Kale (au)
* An Approach to Software Development

16.00-17.30 ATM 2

Ilse Lievens, Piet Demeester (be)
Design of a New High-Performance Restoration Algorithm for Survivability in ATM Networks

A.A. Belhaj, L. Pap, T.V. Do (hu)
Simple and Efficient Call Admission Control for Real-Time Traffic in ATM Networks

16.00-17.30 MULTIMEDIA

L. Fuentes, J.M. Troya (es)
Designing Multimedia Telecommunication Services with an Extensible Component-Oriented Framework

Boris Strelec (hr)
Network Session Call Processing for Multiparty and Multimedia Service Sessions

Hrvoje Dujmic (hr)
*Image Classified Vector Quantization

9.00-10.30 INTELLIGENT NETWORKS 1

Kenneth J. Turner (uk)
Relating Services and Features in the Intelligent Network

11.00-12.30 INTELLIGENT NETWORKS 2

Olli Martikainen, Pasi Kemppainen, Konstantin Samouylov, Nikolai Kosminin (fi, ru)
Signalling Software Implementation for the Open Service Node

Vlatka Vrbanic, Katarina Krajina, Bojan Mati (hr)
Universal Personal Telecommunication - an Intelligent Network Solution for Fixed and Mobile Network

Darko Svelec (hr)
* Call Center Services in Public Telecommunication Infrastructure

11.00-12.30 DISTRIBUTED SYSTEMS

Christophe Veltsos, Kimon Valavanis (usa)
Modeling of Complex Dynamic Systems with Agents and Actions

Marijan Kunstic, Nives Sandri, Roberto Sandri (hr)
Distributed Cooperative Multiagent Model for the Telecommunication Management

14.00-16.00 ACCESS NETWORKS

Davor Saric (hr)
Concentrator-Based Access Network Planning with Heuristic Algorithms

Herbert Leitold, Reinhard Posch (at)
Resource Management and Access Control in ISDN Remote Access Environments

Vlado Vrlika (hr)
Internet Access in Public Networks

14.00-16.00 COMMUNICATION PROTOCOLS

Monika Kapus Kolar (si)
Towards Deriving Protocol Specifications from Service Specifications in M-LOTOS

Ivan Z. Jutrisa, Nalin Sharda, Pietro Cerone (au)
Performance Analysis of a Reliable Satellite Broadcast Transmission Protocol

E.K. Fragoulopoulos, G.T. Kolyvas, I.S. Venieris (gr)
Performance Evaluation of a Bearer Channel Control Protocol for Broadband Access Networks

9.00-10.30 INFORMATION SYSTEMS & NETWORKS

Snjezana Ivezic, Dubravko Cej, Vesna Mandaric, Zeljko Unkovic (hr)
Information System/InformationTechnology Strategy Planning for Telecommunication Company - An Experience

Tadej Vodopivec, Veselko Gustin (si)
Client-Server Applications in Heterogenous non Real-Time Environment

11.00-12.30 OPTICAL COMMUNICATIONS

Kresimir Profaca, Zoran Skocir, Branko Mikac (hr)
Information Model of an Optical Cross-Connect