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 BibTeX
@proceedings{DBLP:conf/eurocast/1999,
editor = {Franz Pichler and
Roberto Moreno-D\'{\i}az and
Peter Kopacek},
title = {Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria,
September 29 - October 2, 1999, Proceedings},
booktitle = {EUROCAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1798},
year = {2000},
isbn = {3-540-67822-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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 BibTeX
- Stefan Dierneder, Rudolf Scheidl:
Conceptual Desin, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis.
38-45 BibTeX
- Gisbert Dittrich:
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?
46-54 BibTeX
- Giuseppe Del Castillo, Uwe Glässer:
Computer-Aided Analysis and Validation of Heterogeneous System Specifications.
55-79 BibTeX
- Miroslav Svéda:
Patterns for Embedded Systems Design.
80-89 BibTeX
- Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
90-104 BibTeX
- Ramón P. Otero, José M. Rodríguez:
Representing Petri Nets in an Action Based Formalism.
105-115 BibTeX
- Mireille Larnac, Janine Magnier, Vincent Chapurlat:
Simplification of Proof Procedures Based on the Path Condition Concepts.
116-126 BibTeX
- Thomas Schmitt, Dirk Fimmel, Mathias Kortke, Renate Merker:
Parallel Processor Array for Tomographic Reconstruction Algorithms.
127-141 BibTeX
- Elena Jharko:
A Formalized Description Approach to Continuos Time Systems.
142-153 BibTeX
- Franz Pichler:
Modeling Complex Systems by Multi-agent Holarchies.
154-168 BibTeX
- Germano Resconi:
Partition of Systems by General System Logical Theory (GSLT).
169-181 BibTeX
3 Intelligent Robots
4 Modeling and Simulation
- R. Sato:
Integrating Two Dynamic Models of Business-Logistics Plant.
259-273 BibTeX
- Dragica Noe, Peter Peternel:
Assembly Reengineering Model.
274-281 BibTeX
- Harald Zebedin:
Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation.
282-288 BibTeX
- Gerhard Hanappi:
Modeling the Emergence of Social Entities.
289-294 BibTeX
- Edeltraud Hanappi-Egger:
Simulating Social Grouping: An Interactive Team-Building Tool (ITBT).
295-301 BibTeX
- Ryszard Klempous, Barbara Lysakowska, Jan Nikodem:
Sociological Aspects of Data Acquisition and Processing.
302-306 BibTeX
- Manuel Cabarcos, Ramón P. Otero, Silvia Gómez Pose:
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference.
307-318 BibTeX
- 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 BibTeX
- Pedro Corcuera, Mario Garcés, Eduardo Mora, Marta E. Zorrilla:
Distributed Simulation with Multimedia Interface.
334-342 BibTeX
- Heiko Lehmann:
Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem.
343-356 BibTeX
- B. Kwella, Heiko Lehmann:
Floating Car Data Anaylsis of Urban Road Networks.
357-367 BibTeX
- Grazyna Mulak, Leon Magiera, Andrzej Mulak:
Information Lost in the Hologram Subdividing Process.
368-373 BibTeX
5 Systems Engineering and Software Development
- Gerhard Chroust:
Electronic Performance Support Systems Challenges and Problems.
377-393 BibTeX
- Paul Grünbacher, José Parets-Llorca:
A Framework for the Elicitation, Evolution, and Traceability of System Requirements.
394-406 BibTeX
- 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 BibTeX
- Sergej Fatikow, Joerg Seyfried, Airat Faizullin:
Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station.
414-434 BibTeX
- Juan Jesús Torres Carbonell, José Parets-Llorca:
A Formalisation of the Evolution of Software Systems.
435-449 BibTeX
- 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 BibTeX
- Marta E. Zorrilla, Eduardo Mora, Pedro Corcuera, J. Fernández:
Vertical Partitioning Algorithms in Distributed Databases.
465-474 BibTeX
- Manfred Mauerkirchner:
Decision Based Adaptive Model for Managing Software Development Projects.
475-485 BibTeX
- Vili Podgorelec, Peter Kokol, Milan Zorman:
A Fractal Software Complexity Metric Analyser.
486-493 BibTeX
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 BibTeX
- 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 BibTeX
- E. Rovaris, F. Eugenio, Roberto Moreno-Díaz:
McCulloch Program II in Artificial Systems and Lastres Theorem.
514-520 BibTeX
- Maria Taboada, Julio Des, Michael F. Argüello, José Mira, D. Martínez:
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases.
521-527 BibTeX
- Zdzislaw Bubnicki:
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems.
528-542 BibTeX
- Antonio Sala, Pedro Albertos, Manuel Olivares:
Variable-Structure Learning Controllers.
543-549 BibTeX
- Kirill Chernyshov, Feodor Pashchenko:
An Identification Algorithmic Toolkit for Intelligent Control Systems.
550-564 BibTeX
- Benedykt Licznerski, Przemyslaw Szecówka, Andrzej Szczurek, K. Nitsch:
Non Selective Gas Sensors and Artificial Neural Networks-Determination of Gas Mixtures.
565-572 BibTeX
- Virginia Ecaterina Oltean, Theodor Borangiu, Mitica Manu:
The Supervision of Hybrid Control Systems-A Layered Architecture.
573-587 BibTeX
- Werner DePauli-Schimanovich-Göttig:
Automatic Players for Computer Games.
588-600 BibTeX
Copyright © Sat May 16 23:11:07 2009
by Michael Ley (ley@uni-trier.de)
