Advertisement

Computer Aided Systems Theory – EUROCAST 2007

11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

  • Editors
  • Roberto Moreno Díaz
  • Franz Pichler
  • Alexis Quesada Arencibia

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4739)

Table of contents

  1. Computers in Education

    1. M. E. Zorrilla, D. Marín, E. Álvarez
      Pages 392-399
    2. Jos A. Alonso, Gonzalo A. Aranda, Francisco J. Martn–Mateos
      Pages 400-407
    3. Germano Resconi, Javier Alonso
      Pages 408-414
    4. Alberto Salguero, Francisco Araque, Antonio Fernández-Parra, M. Isabel Jiménez, M. Carmen Vives
      Pages 415-422
    5. Ignacio González Alonso, Mercedes R. Fernández Alcalá, Benigno Villa Fernández, José A. López Brugos
      Pages 423-430
  2. Grid Computing

    1. Herbert Rosmanith, Dieter Kranzlmüller, Jens Volkert
      Pages 431-442
    2. Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert
      Pages 443-447
    3. Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
      Pages 448-456
    4. Masaharu Munetomo, Yuta Satake, Kiyoshi Akama
      Pages 465-472
    5. Masaharu Munetomo, Asim Munawar, Kiyoshi Akama
      Pages 473-480
  3. Applied Formal Verification

    1. Milan Češka, Pavel Erlebach, Tomáš Vojnar
      Pages 488-496
    2. Andreas Holzer, Johannes Kinder, Helmut Veith
      Pages 497-504
    3. Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
      Pages 515-522
    4. Enrique Alba, Francisco Chicano
      Pages 523-530
    5. Marc Herbstritt, Bernd Becker
      Pages 531-538
    6. Lars-Åke Fredlund, Juan José Sánchez Penas
      Pages 539-546
  4. Cellular Automata

    1. A. Fúster-Sabater, P. Caballero-Gil, M. E. Pazo-Robles
      Pages 564-571
    2. Thomas Worsch, Hidenosuke Nishio
      Pages 581-588
    3. Juan A. Gómez-Pulido, Juan M. Matas-Santiago, Francisco Pérez-Rodríguez, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez, Francisco Fernández de Vega
      Pages 589-595
  5. Computer Vision

    1. L. Alvarez, C. A. Castaño, M. García, K. Krissian, L. Mazorra, A. Salgado et al.
      Pages 612-620
    2. Javier de Lope, Juan José San Martín, José A. Martín H.
      Pages 621-628
    3. María T. López, Antonio Fernández-Caballero, Miguel A. Fernández, José Mira, Ana E. Delgado
      Pages 638-645
    4. L. Alvarez, C. A. Castaño, M. García, K. Krissian, L. Mazorra, A. Salgado et al.
      Pages 646-653
    5. Roman Dudek, Carmelo Cuenca, Francisca Quintana
      Pages 654-659
    6. J. Isern González, J. Cabrera Gámez, J. D. Hernández Sosa, A. C. Domínguez Brito
      Pages 660-667
    7. Julio Esclarín Monreal, Carolina García Antón
      Pages 668-675
    8. L. Alvarez, C. A. Castaño, M. García, K. Krissian, L. Mazorra, A. Salgado et al.
      Pages 676-683
    9. David Schleicher, Luis M. Bergasa, Manuel Ocaña, Rafael Barea, Elena López
      Pages 684-691
    10. M. Rincón, J. Martínez-Cantos
      Pages 701-708
    11. Agustín Salgado, Javier Sánchez
      Pages 709-716
    12. Marta Marrón Romera, Miguel Angel Sotelo Vázquez, Juan Carlos García García
      Pages 717-724
    13. Pedro Cobos Arribas, Felipe Jiménez Alonso
      Pages 725-732
    14. Marta Penas, María J. Carreira, Manuel G. Penedo, Noelia Barreira
      Pages 733-739
    15. Carlos M. Travieso, Juan C. Briceño, Miguel A. Ferrer, Jesús B. Alonso
      Pages 740-746
  6. Heuristic Problem Solving

    1. Stefan Wagner, Stephan Winkler, Erik Pitzer, Gabriel Kronberger, Andreas Beham, Roland Braune et al.
      Pages 747-754
    2. E. Alba, A. Cervantes, J. A. Gómez, P. Isasi, M. D. Jaraíz, C. León et al.
      Pages 755-763
    3. Enrique Alba, Edgardo Ferretti, Juan M. Molina
      Pages 764-771
    4. J. O. Roa, A. R. Jiménez, F. Seco, J. C. Prieto, J. Ealo
      Pages 780-787

About these proceedings

Introduction

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to encompass computer-theoretical and practical developments as tools for problem-solving in system science. It was thought of as the third of three components (the other two being CAD and CAM) that together provide a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989), under the name EUROCAST 1989. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from Europe, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) and Las Palmas (2005), in addition to an extra- European CAST Conference in Ottawa in 1994. Selected papers from those meetings were published in springer’s Lecture Notes in Computer Science series, as numbers 410, 585, 763, 1030, 1333, 1798, 2178, 2809 and 3643, and in several special issues of the international journal Cybernetics and Systems.

Keywords

Automat architecture artificial intelligence automata computer vision formal verification grid computing intelligence modeling robot robotics simulation systems theory verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75867-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75866-2
  • Online ISBN 978-3-540-75867-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Electronics
Aerospace
Oil, Gas & Geosciences
Engineering