7. EUROCAST 1999: Vienna, Austria
Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (Eds.):
Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings.
Lecture Notes in Computer Science 1798 Springer 2000, ISBN 3-540-67822-0
1 Survey Papers
2 Conceptual Frameworks,
Methods and Tools
- Elena Messina, Christopher Dabrowski, Hui-Min Huang, John Horst:
Representation of the RCS Reference Model Architecture Using an Architectural Description Language.
23-37
- Stefan Dierneder, Rudolf Scheidl:
Conceptual Desin, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis.
38-45
- Gisbert Dittrich:
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?
46-54
- Giuseppe Del Castillo, Uwe Glässer:
Computer-Aided Analysis and Validation of Heterogeneous System Specifications.
55-79
- Miroslav Svéda:
Patterns for Embedded Systems Design.
80-89
- Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
90-104
- Ramón P. Otero, José M. Rodríguez:
Representing Petri Nets in an Action Based Formalism.
105-115
- Mireille Larnac, Janine Magnier, Vincent Chapurlat:
Simplification of Proof Procedures Based on the Path Condition Concepts.
116-126
- Thomas Schmitt, Dirk Fimmel, Mathias Kortke, Renate Merker:
Parallel Processor Array for Tomographic Reconstruction Algorithms.
127-141
- Elena Jharko:
A Formalized Description Approach to Continuos Time Systems.
142-153
- Franz Pichler:
Modeling Complex Systems by Multi-agent Holarchies.
154-168
- Germano Resconi:
Partition of Systems by General System Logical Theory (GSLT).
169-181
3 Intelligent Robots
4 Modeling and Simulation
- R. Sato:
Integrating Two Dynamic Models of Business-Logistics Plant.
259-273
- Dragica Noe, Peter Peternel:
Assembly Reengineering Model.
274-281
- Harald Zebedin:
Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation.
282-288
- Gerhard Hanappi:
Modeling the Emergence of Social Entities.
289-294
- Edeltraud Hanappi-Egger:
Simulating Social Grouping: An Interactive Team-Building Tool (ITBT).
295-301
- Ryszard Klempous, Barbara Lysakowska, Jan Nikodem:
Sociological Aspects of Data Acquisition and Processing.
302-306
- Manuel Cabarcos, Ramón P. Otero, Silvia Gómez Pose:
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference.
307-318
- Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi:
Simulation of Gaussian Processes and First Passage Time Densities Evaluation.
319-333
- Pedro Corcuera, Mario Garcés, Eduardo Mora, Marta E. Zorrilla:
Distributed Simulation with Multimedia Interface.
334-342
- Heiko Lehmann:
Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem.
343-356
- B. Kwella, Heiko Lehmann:
Floating Car Data Anaylsis of Urban Road Networks.
357-367
- Grazyna Mulak, Leon Magiera, Andrzej Mulak:
Information Lost in the Hologram Subdividing Process.
368-373
5 Systems Engineering and Software Development
- Gerhard Chroust:
Electronic Performance Support Systems Challenges and Problems.
377-393
- Paul Grünbacher, José Parets-Llorca:
A Framework for the Elicitation, Evolution, and Traceability of System Requirements.
394-406
- Yasuhiro Yamada, Yoshiaki Komura, Junnosuke Mizutani, Ikuo Tanabe:
Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Matching).
407-413
- Sergej Fatikow, Joerg Seyfried, Airat Faizullin:
Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station.
414-434
- Juan Jesús Torres Carbonell, José Parets-Llorca:
A Formalisation of the Evolution of Software Systems.
435-449
- María J. Rodríguez, José Parets-Llorca, Patricia Paderewski, Ana Anaya, María Visitación Hurtado:
HEDES: A System Theory Based Tool to Support Evolutionary Software Systems.
450-464
- Marta E. Zorrilla, Eduardo Mora, Pedro Corcuera, J. Fernández:
Vertical Partitioning Algorithms in Distributed Databases.
465-474
- Manfred Mauerkirchner:
Decision Based Adaptive Model for Managing Software Development Projects.
475-485
- Vili Podgorelec, Peter Kokol, Milan Zorman:
A Fractal Software Complexity Metric Analyser.
486-493
6 Artificial Intelligent Systems and Control
- Roberto Moreno-Díaz Jr., Juan Carlos Quevedo-Losada, Alexis Quesada-Arencibia:
Systems Approach to Attention Mechanisms in the Virtual Pathway.
497-505
- Olga Bolívar Toledo, J. A. Muñoz-Blanco, Santiago Candela Solá, Roberto Moreno-Díaz:
On Completeness in Early Vision from Systems Theory.
506-513
- E. Rovaris, F. Eugenio, Roberto Moreno-Díaz:
McCulloch Program II in Artificial Systems and Lastres Theorem.
514-520
- Maria Taboada, Julio Des, Michael F. Argüello, José Mira, Diego Martínez:
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases.
521-527
- Zdzislaw Bubnicki:
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems.
528-542
- Antonio Sala, Pedro Albertos, Manuel Olivares:
Variable-Structure Learning Controllers.
543-549
- Kirill Chernyshov, Feodor Pashchenko:
An Identification Algorithmic Toolkit for Intelligent Control Systems.
550-564
- Benedykt Licznerski, Przemyslaw Szecówka, Andrzej Szczurek, K. Nitsch:
Non Selective Gas Sensors and Artificial Neural Networks-Determination of Gas Mixtures.
565-572
- Virginia Ecaterina Oltean, Theodor Borangiu, Mitica Manu:
The Supervision of Hybrid Control Systems-A Layered Architecture.
573-587
- Werner DePauli-Schimanovich-Göttig:
Automatic Players for Computer Games.
588-600
Last update Fri May 25 05:59:03 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page