Title of the Paper

Authors (Country)

# Pages


Automatic object-oriented visual programming with OO-METHOD

J. Romero, P.J. Molina, O. Pastor (Spain)


Object-oriented paradigm, Object-oriented software production methodologies, formal specification languages, CASE tools, automatic code generation, visual programming, Windows environments, three-tier architectures

An adaptive wavelet-based approach for perceptual low bit rate audio coding attending to entropy-type criteria

N.Ruiz Reyes, M.R. Zurera, F.L. Ferreras, D. M.Munoz (Spain)


Wavelet-based audio coding, psychoacoustic model, entropy-type criteria, MPEG

Dynamic Programming as a Software Component

Oege de Moor (UK)


Dynamic programming, sequential decision process, software component, functional

programming, algebra of programming, program derivation

Symbolic Verification of Hybrid Systems

M. V. Mohrenschildt (Canada)


Hybrid-systems, Symbolic computation, Differential Equations, Design Verification, control Systems

Liveness of Continuous Weighted Marked Graphs

I.Demongodin, M. Mostefaoui, N. Sauer (France)


Continuous Petri nets, Weighted marked graphs, Manufacturing systems, Hybrid systems, Structural analysis, Liveness, Performance evaluation, Performance control

A new methodology for reasoning about semiqualitative dynamic systems

J. A. Ortega, R. M. Gasca, M. Toro (Spain)


Semiqualitative simulation, Knowledge representation, Qualitative reasoning

State Identification in the Hybrid Automata Description of Dynamical Systems

I. Kotini, G. Hassapis (Greece)


Formal methods, hybrid automata, real-time, specification, verification

Algorithm for generating the precedence graphs in assembly systems

J.M. Henrioud, A. Bratcu (France)


Assembly systems, assembly sequences, precedence graphs, algorithm complexity

A Genetic Algorithm scheme for Web Replication and Caching

A. Vakali (Greece)


World-Wide Web replication and caching, cache consistency, Genetic Algorithms, Evolutionary


Object Oriented Specification based on Restrictions: Participation and Interaction

J. Torres, J.A. Troyano, M. Toro, R. Corchuelo, A. Duran (Spain)


Restriction, participation, interaction, communication of objects

Optimization of Automatically Generated Parallel Programs

A. Marongiu, P. Palazzari (Italy)


Automatic Parallelization, polytope model, SARE, Simulated Annealing, Unimodular


A Methodology for the Definition of Programming Languages

N.S. Papaspyrou (Greece)


Programming languages, formal definition, denotational semantics,monads

Designing Intelligent User Interfaces: the IUIM Model

D. Goren-Bar (Israel)


Intelligent Interfaces, Adaptation, Task Modeling, User Model, Model-Based Interface Design

A Java-Based DSM System for User Defined Shared Data Objects

O.K. Sahingoz, N. Erdogan (Turkey)


Distributed computing, shared abstractions, distributed shared memory algorithms, memory coherence,write-invalidate protocol

A Multi-Level Computer Architecture Simulator

F. Abbattista, S.Pizzutilo, F. Tangorra (Italy)


Architecture Simulation, Computer Architecture Design, Education, Object-Orientation, Prototyping

An Object Oriented Data Model for Web-Based Courseware Design

S. Retalis, V.Vescoukis, E. Skordalakis (Greece)


Object Oriented hypermedia data models, hypermedia in education, web based courseware development

A Symbolic Portable Debugger for Compilers that Generate C Code

J.M. Prieto, J.L.Arjona, R.Corchuelo, M.Toro, D.Ruiz (Spain)


Symbolicdebuggers, compilers that generate C code as output, portability, GDB.

Extendible Persistent System

E. Kemikli, N. Erdogan (Turkey)


Persistent system, operating system

A New Methodology for Object-oriented ASIP Architecture Codesign

I-Horng Jeng, Feipei Lai (China)


Linear transformation, object-oriented, instruction-level parallelism

Precedence graphs generation using assembly sequences

V. Minzu (Romania), A. Bratcu (France)


Assembly systems, assembly sequences, precedence graphs

Assembly Workstation Supervisory Control Technique

D.C. Cernega, V. Minzu (Romania)


Assembly Systems, Discrete Event Systems, Supervisory Control in Discrete Event Systems

An Object-Oriented Approach to Software Restructuring

P. Sage, P.Milligan (UK)


Object-Oriented Restructuring Parallelisation

Utilising Knowledge Systems to Enable Enhanced Data Distribution in a Parallelisation Environment

B. McCollum, P.Milligan, P.H. Corr (N. Ireland)


Knowledge Models, Data Distribution, Software Re-Engineering, Semi-Automatic Parallelisation, Legacy Systems

Data description language FlexT: flexible types for description of static data.

A. Hmelnov, S.Vassilyev (Russia)


Binary format, formal specification, data format specification, specification of data interpretation,specification of data modification, data type identification.

User Generated Sketch Input for Graphical Database Searching and Other Applications

B.J. Beggs (UK), I.P.Mihu (Romania), E.M.Smith (UK)


Graphical user interface, graphical database search, sketch recognition

Developing a simulation platform for an experimental architexture

B. Goeman, K. De Bosschere, H. Neefs (Belgium)


Computer architecture, simulation, Block Structured Architecture

Dynamic Management and Execution of Parallel Algorithms on a Java Multicomputer

P. Sage, P.Milligan (UK)


Java Parallel Distributed Brokerage Agentsv

A new algorithm for solving the single machine total tardiness scheduling problem

D. Alcaide, J.Sicilia (Spain)


Scheduling, turdiness problem, single machine, exact and heuristic algorithms

A knowledge based approach for automatic Indexing and Information retrieval

H. Aliane, M.C. Rouag, L. Boukari (Algerie)


Automatic indexing, intelligent information retrieval, semantic nets, concept discovery, multilingual interfaces.

Formal Semantics for Grafcet Controlled Systems

J.Zaytoon (France)


Grafcet, semantics, Timed Transition Model (TTM), mapping function

Formal Proofs for Grafcet Controlled Systems

J.Zaytoon (France)


Grafcet, semantics, Timed Transition Model (TTM), mapping function

Searching of all Occurences of a Word in a String

O. Dogaru, R. Dogaru (Romania)


String, pattern, searching, all occurences, algorithm.

Deciding About Agent Mobility Using a Cost Performance Model

D. Elmansy, A. Sameh (Egypt)


Mobile Agents, RPC, Performance Model, Dijkstra, A*, Priority Queues.

Using ESCAPE: Environment for the Simulation of Computer Architectures for the Purpose of Education

F. Harbils, P. Verplaetse, J.V. Campenhout (Belgium)


Computer architecture, education, visual simulation, microprogramming, pipelining

Cooperative Localization During Exploration

I.M. Rekleitis, G.Dudek, E.E. Milios (Canada)


Localization, Multi-Agent, IntelligentCollaboration, Exploration, Uncertainty Reduction

Statistical Analysis of Sewing Threads Breaking

J.Militky, V.Kovaeie, P.Volf, A.Linka (Czech Reppublic)


Statistics of failure, Sewing ability estimation, Hazard rate simulation, Exploratory data analysis

On the K-geodeticity of a graph

R.M. Ramos, M.T. Ramos, J. Sicilia (Spain)


Graph theory, connectivity, Geodetic graphs, Graphs and structures

Evaluation of Generation System Reliability using GRA Computer Program

J.Paska (Poland)


Reliability, generation adequancy assesment, software tool

Designing Low Power Array Architectures Based on Reversible Pipeline Method

D. Soudris, C. Z. Lolas, A.Thanailakis (Greece)


low power design, adiabatic technique, reversible pipeline, hardware reduction, array processor, DSP algorithm

Design of a Programming System for Mobile Objecs

K. Maeda (Japan)


Agents, Mobile Objects, RoboCup, Object Serialization, Java

A New Model for A Complex Computer Network Reliability Design and Its Solution Using Trust Region Method

Baith Mohamed, M.El-Alem, Belal Ayyoub (Egypt)


Complex Computer Network Reliability Design, Trust Region, Optimization

Binary Tree Structure for Normal Verification of Combinational Ics

F.A. El-Licy, H.S. Abdel-Aty-Zohdy (USA)


Binary tree structure, formal verification, digital integrated circuits.

High Storage Utilization of Hash Memory by Reducing of Information Redundancy for Hashing

E.G.Bardis, N.G.Bardis, A.P.Markovski, A.K.Spyropoulos (Greece)


Information theory, information redundancy, hashing, hash memory auxiliary ,hash signature, auxiliary memeory database management systems

Improving the Performance of a Software MPEG Coder by Using Efficient Displacement Estimation

B. Carpentieri (Italy)


Video Compression, MPEG, Split-Merge Displacement Estimation

Control of Hybrid Petri nets using Max-plus Algebra

F. Balduzzi, A. D. Febbraro, A. Giua, S. Sacone (Italy)


Hybrid Petri nets, modelling, manufacturing systems, Timed Event Graphs, Max-plus algebra, control

Application of the wavelet analysis in investigations of machine vibrations in run-up or run-down conditions

A. Timofiejczuk (Poland)


Rotating machinery, variable action of machine, symptom, separation of symptoms

ISO10303 Application interfaces developed in Genesis’ environment - The funStep ESPRIT project experience

P.Sousa, J.Pimentao, R.Goncalves, A.Garcao (Portugal)


CAD/CAM, Standards, Models, Integration and Interfaces

A Java based web application which addresses urban traffic problems relying on real time collected data.

F. Bellotti, A. De Gloria, D. Grosso (Italy)


IEEE 802.11, wireless networks, transmission protocols, Java, interactive simulator, education

Computer Base Training: On-line Simulation Model as Teaching Strategy

M. Bank, V. Tsingouz, J.Gavan (Israel)


Simulation, computer-base training, electronic, education

An Integrated Learning Environment for reinforcing secondary school education

K.Siassiakos, D. Askounis, K. Katsoridis (Greece)


Innovative system, teacher-centred approach, educational multimedia courseware, reusable material

A Method and a Program for the School Timetabling Problem

C.M.Ribeiro, L.M.R.Dos Santos, J.F.Ferreira Ribeiro (Brazil)


Colouring, cluster analysis, school timetabling problem

Medical Information and Decision Supporting Computer System

P. Szczepaniak, Z. Filutowicz, J. Filutowicz (Poland)


Medical information systems, optimal control, decision supporting system, modeling of hemodialysis process, modeling of information systems, dialysis’ adequacy.

A use case driven domain analysis for precision agriculture information systems

A.M. Saraiva, C.E. Cugnasca, A.R. Hirakawa, A.M.A. Massola, (Brazil)


Precision agriculture, information systems, domain analysis, use cases, object-orientation.

Explanation, training and decision support for process control

T.M.Khan, J.Kwaan, K.E.Brown, R.Mckinnel (UK)


Knowledge-based systems, Decision support systems, Models, Explanations

Reliability in VLSI Electronics for Space:The Case of The Flash ADC

T. Monnier, F.M. Roche, F. Corbiere (France)


VLSI Flash ADC, Reliability, Space, Robustness, Hardening, Restructing, Design

CAMELot: A Cellular Automata Simulation Environment

K. Kavoussanakis (Scotland)


Parallel Execution, Computer Simulation, MPI, Sockets, Cellular Automata, Bioremediation

FMS Job-Shop Scheduling and Rescheduling

L. Zhu, Y. Chai Soh, J. Meng (Singapore)


FMS,job, shop, scheduling, rescheduling, Lagrangian relaxations,interruptions

The evolution of ASD™ power integrated functions towards integrated EMC

D. Magnon, F. Guitton, A. Feybesse (France)


Power, Integration, ASD™, EMI, EMC

Modeling and Simulation of the Human Exercise Metabolism

A. Schulte, P. Kracht, F. Dorrscheidt, H. Liesen (Germany)


Exercise metabolism, object-oriented modeling, performance diagnosis, metabolic regulation, simulation

Rigorous Hydrid Systems Simulation with Continuous-time Discontinuities and Discrete-time Agents

J.H. Taylor (Canada)


Hybrid systems, modelling simulation numerical integration methods discontinuity handling discrete-system agents

Animation of Conceptual Models using two Concurrent Environments:an overview

P. Letelier, P.Sanchez, I.Ramos, R.Corchuelo (Spain)


Formal Specification,animationof specifications,object oriented models