Buscar
Mostrando ítems 151-160 de 386
Verificación de conexiones telefónicas con esterel
(1995)
[Resumen] El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono Esterel. Nuestra intención ...
Finite-State Morphology and Formal Verification
(Cambridge University Press, 1999)
Las empresas concesionarias de servicios públicos en Galicia. Economía, financiación empresarial y electrificación de la red tranviaria coruñesa en los años veinte
(Galicia en Clave Económica, 1997)
Este trabajo examina el cambio de tracción y la ampliación de la red de transporte público tranviario en la ciudad de A Coruña a lo largo de los años veinte; se analizan las decisiones adoptadas por la Compañía desde la ...
Evaluación de proyectos de información. La necesidad de una perspectiva de negocios
(1997)
[Resumen] Recientes investigaciones muestran la existencia de significativas dificultades en la evaluación de los proyectos relacionados con las tecnologías de la información en las
organizaciones empresariales. Algunas ...
SFC++: A tool for developing distributed real time control
(Universitat de Girona, 1998)
This paper describes a visual tool for developing real time software for the control of distributed manufacturing systems. The aim of this project, currently in progress, is to get a visual programming environment which ...
Análisis financiero a largo plazo de una empresa de servicios: La "Compañía de Tranvías de La Coruña" (1901 - 1963)
(Revista Galega de Economía, 1996)
Durante muchas décadas, la compleja naturaleza de los servicios públicos ha hecho de ellos objeto preferente de investigación por especialistas de distintos campos de conocimiento; los historiadores
han analizado el patrón ...
Hybrid FDI on chemical plants
(International Federation of Automatic Control, 1998)
[Abstract] This paper illustrates an alternative implementation to automatic protection and supervision task using the basic principles of model-based fault-detection and isolation associated to the rule-based FDI with ...
La forma del hueco en la estructura de fábrica
(Universidade da Coruña, 1995)
Demography and Population Dynamics of the Lacertid Lizard Podarcis Bocagei in North-West Spain
(The Zoological Society of London, 1999)
[Abstract] The demography and life-history traits of a population of the lacertid lizard Podarcis bocagei in north-west
Spain were investigated. Most of the conclusions presented are based on mark-recapture studies ...
Communication protocols verification with Esterel
(Computational Mechanics Publications, 1995)
[Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description ...