6. EUROCAST 1997: Las Palmas de Gran Canaria, Canary Islands, Spain

Design Environments and Tools

• Renate Merker, Ulrich Eckhardt, Dirk Fimmel, H. Schreiber:
  A System for Designing Parallel Processor Arrays. 3-12
  
• Christoph Schaffer:
  On the Role of Architectures in Systems Engineering. 13-33
  
• Miroslav Svéda:
  An Approach to Safety Critical Systems Design. 34-49
  
• Thomas Müller-Wipperfürth:
  Extensions and Semantics of Controller State Diagrams for Practical Applications. 50-57
  
• Dagmar Auer, Heinz Dobler, Gerd Weishaar:
  Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant. 58-70
  
• Ana Anaya, María J. Rodríguez, José Parets-Llorca:
  Representation and Management of Memory and Decision in Evolving Software Systems. 71-82
  
• Herwig Mayr:
  GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models. 83-91
  

Theory and Methods

• Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot:
  Formal Representation and Proof of the Interpreted Sequential Machine Model. 95-107
  
• Uwe Glässer:
  Modelling of Concurrent and Embedded Systems. 108-122
  
• Antonio Cau, Willem P. de Roever:
  A Dense-Time Temporal Logic with Nice Compositionality Properties. 123-145
  
• Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro:
  Introducing Planning in Discrete Event Systems. 146-159
  
• Pedro Albertos, Jorge Bondia, P. Moya:
  Multirate Control of a Class of Nonlinear Systems. 160-169
  
• H.-J. Sommer, H. Hahn:
  Global Structural Approximate Controllability of Polynominal Nonlinear Systems. 170-176
  
• Elvira Di Nardo, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi:
  Vectorized Simulations of Normal Processes for First Crossing-Time Problems. 177-188
  
• Gillian Hill:
  An Architecture for Complex Systems. 189-201
  
• Germano Resconi, A. Wayne Wymore:
  Model-Based System Design for Engineering (T3SD) and General System Logical Theory. 202-217
  
• Jesús Rodríguez-Millán, José Yépez, Bokor Jozsef:
  Design of Nonlinear Lag-Lead Compensators by Extended Linearization. 218-235
  
• Josep Miró, Margaret Miró-Julià:
  A Numerical Computation for Declarative Expressions. 236-251
  
• J. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire:
  An Automatic Calculator with Penrose Diagrams. 252-269
  

Engineering Systems

• Francisco Serradilla, Darío Maravall Gómez-Allende:
  Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept. 273-284
  
• Ricardo García Rosa, Teresa de Pedro, Alison Rosetti:
  Fuzzy Traffic Police for Autonomous Vehicles. 285-291
  
• Theodor Borangiu, Luis-Manuel Tomás-Balibrea, L. A. Contreras Gonzales, Cr. Nis, Mitica Manu:
  Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing Control. 292-300
  
• Susanne Hofer:
  A Formal Model for Integrated System Development. 301-313
  
• Paul Grünbacher:
  Moving Towards an Agent-Based Engineering Environment. 314-323
  
• Libor Preucil, Petr Stepan:
  Experiencing Modeling and Development of an Intelligent Autonomous Robot. 324-337
  
• Gernot Kronreif, Robert Probst:
  Modular Control System for Robotized Cells and Lines. 338-344
  
• Robert Probst, Peter Kopacek:
  Latest Developments in Robotics. 345-350
  

Intelligent Systems

• Roberto Moreno-Díaz, José Mira:
  Architectures for Complex Behaviour Inspired in the Nervous System. 353-360
  
• João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo:
  Turing Universality of Neural Nets (Revisited). 361-366
  
• Witold Jacak, Stephan Dreiseitl:
  Lifelong Learning Approach to Intelligent Agents Modeling. 367-379
  
• Vladimír Marík, Olga Stepánková, Jirí Lazanský:
  Role of Qualitative Reasoning in a Multi-Agent System. 380-393
  
• Lenka Lhotská:
  Learning in Multi-Agent Systems: Theoretical Issues. 394-405
  
• Miguel Alemán-Flores, K. Nicholas Leibovic, Roberto Moreno-Díaz:
  A Computational Model for Visual Size, Location and Movement. 406-419
  
• Zdzislaw Bubnicki:
  Logic-Algebraic Method for a Class of Knowledge Based Systems. 420-428
  

Signal Processing

• Josef Scharinger:
  Image Compression by Multilevel Polynominal Interpolation and Wavelet Texture Coding. 431-443
  
• Luis Álvarez, Julio Esclarín, Esther González, Luis Mazorra:
  Image Enhancement Using and Optimum Quantizer. 444-452
  
• Armin Nückel, Andreas Klappenecker:
  On the Parametrization of Algebraic Discrete Fourier Transforms. 453-463
  
• Mark Burge, Wilhelm Burger:
  Learning Visual Ideals. 464-472
  
• Pedro Medina-Rodríguez, Enrique Fernández-García:
  Multiple Representation of Complex Intensity Changes for Image Segmentation. 473-485
  
• José Santos Reyes, Richard J. Duro:
  Temporal Dimension in Signal Processing. 486-497
  

Specific Methods and Applications

• Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire:
  From Sequential to Distributed Formal Proofs. 501-513
  
• José Antonio Vila Sobrino, Jesús María Rodríguez Presedo, Manuel Fernández Delgado, Roberto Iglesias, Senén Barro:
  Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions. 514-526
  
• Manfred Mauerkirchner:
  Event Based Simulation of Software Development Project Planning. 527-540
  
• Motonari Tanabu, Jun-ichi Iijima, Naoki Shiba:
  Application of Intelligent Worldwide DSS to Optimization Problems. 541-548
  
• Witold Jacak, Gerhard Jahn, Jerzy W. Rozenblit:
  Teleeducation in Open Distributed Environment. 549-560
  
• Wojciech Czarczynski, Ryszard Klempous, Jan Nikodem:
  Multilevel Approach to Traffic Control System. 561-566
  
• Josef Küng, Roland Wagner, Wolfram Wöß:
  A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces. 567-579
  
• Dieter Schütt, Franz Pichler, Josef Scharinger:
  Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices. 580-590
  
• Milan Ceska, Vladimír Janousek, Tomás Vojnar:
  PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. 591-610
  
• Christoph Schaffer, Johannes Zeindl:
  System Level Design of Microcontroller Applications. 611-623