Abstract is missing.
- A System for Designing Parallel Processor ArraysRenate Merker, Ulrich Eckhardt, Dirk Fimmel, H. Schreiber. 3-12
- On the Role of Architectures in Systems EngineeringChristoph Schaffer. 13-33
- An Approach to Safety Critical Systems DesignMiroslav Svéda. 34-49
- Extensions and Semantics of Controller State Diagrams for Practical ApplicationsThomas Müller-Wipperfürth. 50-57
- Design and Implementation of an Energy Management System for an Integrated Iron and Steel PlantDagmar Auer, Heinz Dobler, Gerd Weishaar. 58-70
- Representation and Management of Memory and Decision in Evolving Software SystemsAna Anaya, María J. Rodríguez, José Parets-Llorca. 71-82
- GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta ModelsHerwig Mayr. 83-91
- Formal Representation and Proof of the Interpreted Sequential Machine ModelMireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot. 95-107
- Modelling of Concurrent and Embedded SystemsUwe Glässer. 108-122
- A Dense-Time Temporal Logic with Nice Compositionality PropertiesAntonio Cau, Willem P. de Roever. 123-145
- Introducing Planning in Discrete Event SystemsPedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro. 146-159
- Multirate Control of a Class of Nonlinear SystemsPedro Albertos, Jorge Bondia, P. Moya. 160-169
- Global Structural Approximate Controllability of Polynominal Nonlinear SystemsH.-J. Sommer, H. Hahn. 170-176
- Vectorized Simulations of Normal Processes for First Crossing-Time ProblemsElvira Di Nardo, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi. 177-188
- An Architecture for Complex SystemsGillian Hill. 189-201
- Model-Based System Design for Engineering (T3SD) and General System Logical TheoryGermano Resconi, A. Wayne Wymore. 202-217
- Design of Nonlinear Lag-Lead Compensators by Extended LinearizationJesús Rodríguez-Millán, José Yépez, Bokor Jozsef. 218-235
- A Numerical Computation for Declarative ExpressionsJosep Miró, Margaret Miró-Julià. 236-251
- An Automatic Calculator with Penrose DiagramsJ. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire. 252-269
- Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient ConceptFrancisco Serradilla, Darío Maravall Gómez-Allende. 273-284
- Fuzzy Traffic Police for Autonomous VehiclesRicardo García Rosa, Teresa de Pedro, Alison Rosetti. 285-291
- Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing ControlTheodor Borangiu, Luis-Manuel Tomás-Balibrea, L. A. Contreras Gonzales, Cr. Nis, Mitica Manu. 292-300
- A Formal Model for Integrated System DevelopmentSusanne Hofer. 301-313
- Moving Towards an Agent-Based Engineering EnvironmentPaul Grünbacher. 314-323
- Experiencing Modeling and Development of an Intelligent Autonomous RobotLibor Preucil, Petr Stepan. 324-337
- Modular Control System for Robotized Cells and LinesGernot Kronreif, Robert Probst. 338-344
- Latest Developments in RoboticsRobert Probst, Peter Kopacek. 345-350
- Architectures for Complex Behaviour Inspired in the Nervous SystemRoberto Moreno-Díaz, José Mira. 353-360
- Turing Universality of Neural Nets (Revisited)João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo. 361-366
- Lifelong Learning Approach to Intelligent Agents ModelingWitold Jacak, Stephan Dreiseitl. 367-379
- Role of Qualitative Reasoning in a Multi-Agent SystemVladimír Marík, Olga Stepánková, Jirí Lazanský. 380-393
- Learning in Multi-Agent Systems: Theoretical IssuesLenka Lhotská. 394-405
- A Computational Model for Visual Size, Location and MovementMiguel Alemán-Flores, K. Nicholas Leibovic, Roberto Moreno-Díaz. 406-419
- Logic-Algebraic Method for a Class of Knowledge Based SystemsZdzislaw Bubnicki. 420-428
- Image Compression by Multilevel Polynominal Interpolation and Wavelet Texture CodingJosef Scharinger. 431-443
- Image Enhancement Using and Optimum QuantizerLuis Álvarez, Julio Esclarín, Esther González, Luis Mazorra. 444-452
- On the Parametrization of Algebraic Discrete Fourier TransformsArmin Nückel, Andreas Klappenecker. 453-463
- Learning Visual IdealsMark Burge, Wilhelm Burger. 464-472
- Multiple Representation of Complex Intensity Changes for Image SegmentationPedro Medina-Rodríguez, Enrique Fernández-García. 473-485
- Temporal Dimension in Signal ProcessingJosé Santos Reyes, Richard J. Duro. 486-497
- From Sequential to Distributed Formal ProofsVíctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire. 501-513
- Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency DistributionsJosé Antonio Vila Sobrino, Jesús María Rodríguez Presedo, Manuel Fernández Delgado, Roberto Iglesias, Senén Barro. 514-526
- Event Based Simulation of Software Development Project PlanningManfred Mauerkirchner. 527-540
- Application of Intelligent Worldwide DSS to Optimization ProblemsMotonari Tanabu, Jun-ichi Iijima, Naoki Shiba. 541-548
- Teleeducation in Open Distributed EnvironmentWitold Jacak, Gerhard Jahn, Jerzy W. Rozenblit. 549-560
- Multilevel Approach to Traffic Control SystemWojciech Czarczynski, Ryszard Klempous, Jan Nikodem. 561-566
- A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User InterfacesJosef Küng, Roland Wagner, Wolfram Wöß. 567-579
- Cryptographic Permutations Based on BOOT Decompositions of Walsh MatricesDieter Schütt, Franz Pichler, Josef Scharinger. 580-590
- PNtalk - a Computerized Tool for Object Oriented Petri Nets ModellingMilan Ceska, Vladimír Janousek, Tomás Vojnar. 591-610
- System Level Design of Microcontroller ApplicationsChristoph Schaffer, Johannes Zeindl. 611-623