Autor Klein, Cornel
|
|
Documentos disponibles escritos por este autor (6)
Hacer una sugerencia Refinar búsqueda8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / Helfert, Markus ; Klein, Cornel ; Donnellan, Brian ; Gusikhin, Oleg
Título : 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Helfert, Markus, ; Klein, Cornel, ; Donnellan, Brian, ; Gusikhin, Oleg, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVI, 375 p. 152 ilustraciones, 127 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-68028-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Software de la aplicacion Red de computadoras Computadoras Propósitos especiales Sistemas informáticos Inteligencia artificial Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Sistemas de propósito especial y basados en aplicaciones Implementación de sistema informático Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro incluye artículos seleccionados ampliados y revisados de la 8.ª Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2019, y la 5.ª Conferencia Internacional sobre Tecnología de Vehículos y Sistemas de Transporte Inteligentes, VEHITS 2019, celebrada en Heraklion, Creta, Grecia, en mayo. 2019. Los 17 artículos completos presentados durante SMARTGREENS y VEHITS 2019 fueron cuidadosamente revisados y seleccionados entre las 134 presentaciones. Los artículos presentan investigaciones sobre avances y aplicaciones en los campos de las ciudades inteligentes, las tecnologías verdes de la información y la comunicación, la sostenibilidad, los sistemas y tecnologías energéticamente conscientes, la tecnología de vehículos y los sistemas de transporte inteligentes. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers [documento electrónico] / Helfert, Markus, ; Klein, Cornel, ; Donnellan, Brian, ; Gusikhin, Oleg, . - 1 ed. . - [s.l.] : Springer, 2021 . - XVI, 375 p. 152 ilustraciones, 127 ilustraciones en color.
ISBN : 978-3-030-68028-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Software de la aplicacion Red de computadoras Computadoras Propósitos especiales Sistemas informáticos Inteligencia artificial Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Sistemas de propósito especial y basados en aplicaciones Implementación de sistema informático Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro incluye artículos seleccionados ampliados y revisados de la 8.ª Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2019, y la 5.ª Conferencia Internacional sobre Tecnología de Vehículos y Sistemas de Transporte Inteligentes, VEHITS 2019, celebrada en Heraklion, Creta, Grecia, en mayo. 2019. Los 17 artículos completos presentados durante SMARTGREENS y VEHITS 2019 fueron cuidadosamente revisados y seleccionados entre las 134 presentaciones. Los artículos presentan investigaciones sobre avances y aplicaciones en los campos de las ciudades inteligentes, las tecnologías verdes de la información y la comunicación, la sostenibilidad, los sistemas y tecnologías energéticamente conscientes, la tecnología de vehículos y los sistemas de transporte inteligentes. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology Tipo de documento: documento electrónico Autores: Böhm, Wolfgang, ; Broy, Manfred, ; Klein, Cornel, ; Pohl, Klaus, ; Rumpe, Bernhard, ; Schröck, Sebastian, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 404 p. 148 ilustraciones, 83 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62136-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Ingeniería automotriz Computadoras Propósitos especiales Gestión de software Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto presenta los resultados del proyecto "Collaborative Embedded Systems" (CrESt), cuyo objetivo es adaptar y complementar la metodología subyacente a las técnicas de modelado desarrolladas para hacer frente a los desafíos de las estructuras dinámicas de los sistemas colaborativos integrados (CES) basados en el SPES. Metodología de desarrollo. Para gestionar la alta complejidad de los sistemas individuales y las estructuras de interacción formadas dinámicamente en tiempo de ejecución, se necesitan métodos de desarrollo avanzados y potentes que amplíen los últimos avances en el desarrollo de sistemas integrados y sistemas ciberfísicos. Las contribuciones metodológicas del proyecto apoyan el desarrollo efectivo y eficiente de CES en contextos dinámicos e inciertos, con especial énfasis en la confiabilidad y variabilidad de los sistemas individuales y la creación de redes de dichos sistemas en tiempo de ejecución. El proyecto fue financiado por el Ministerio Federal Alemán de Educación e Investigación (BMBF), por lo que los estudios de caso se seleccionan de áreas muy relevantes para la economía alemana (automoción, producción industrial, generación de energía y robótica). También apoya la digitalización de plantas industriales complejas y transformables en el contexto de la iniciativa "Industria 4.0" del gobierno alemán, y los resultados del proyecto proporcionan una base sólida para implementar la estrategia de alta tecnología del gobierno alemán "Innovaciones para Alemania" en los próximos años. . Nota de contenido: 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology [documento electrónico] / Böhm, Wolfgang, ; Broy, Manfred, ; Klein, Cornel, ; Pohl, Klaus, ; Rumpe, Bernhard, ; Schröck, Sebastian, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 404 p. 148 ilustraciones, 83 ilustraciones en color.
ISBN : 978-3-030-62136-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Ingeniería automotriz Computadoras Propósitos especiales Gestión de software Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro de acceso abierto presenta los resultados del proyecto "Collaborative Embedded Systems" (CrESt), cuyo objetivo es adaptar y complementar la metodología subyacente a las técnicas de modelado desarrolladas para hacer frente a los desafíos de las estructuras dinámicas de los sistemas colaborativos integrados (CES) basados en el SPES. Metodología de desarrollo. Para gestionar la alta complejidad de los sistemas individuales y las estructuras de interacción formadas dinámicamente en tiempo de ejecución, se necesitan métodos de desarrollo avanzados y potentes que amplíen los últimos avances en el desarrollo de sistemas integrados y sistemas ciberfísicos. Las contribuciones metodológicas del proyecto apoyan el desarrollo efectivo y eficiente de CES en contextos dinámicos e inciertos, con especial énfasis en la confiabilidad y variabilidad de los sistemas individuales y la creación de redes de dichos sistemas en tiempo de ejecución. El proyecto fue financiado por el Ministerio Federal Alemán de Educación e Investigación (BMBF), por lo que los estudios de caso se seleccionan de áreas muy relevantes para la economía alemana (automoción, producción industrial, generación de energía y robótica). También apoya la digitalización de plantas industriales complejas y transformables en el contexto de la iniciativa "Industria 4.0" del gobierno alemán, y los resultados del proyecto proporcionan una base sólida para implementar la estrategia de alta tecnología del gobierno alemán "Innovaciones para Alemania" en los próximos años. . Nota de contenido: 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking andTheorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Smart Cities, Green Technologies, and Intelligent Transport Systems : 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Helfert, Markus, ; Klein, Cornel, ; Donnellan, Brian, ; Gusikhin, Oleg, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 323 p. 173 ilustraciones ISBN/ISSN/DL: 978-3-319-63712-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Software de la aplicacion Ingeniería Informática Red de computadoras Inteligencia artificial Computadoras y civilización Aplicaciones informáticas y de sistemas de información Ingeniería Informática y Redes Computadoras y sociedad Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas post-conferencia cuidadosamente arbitradas de la 5ª Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2016, y la Segunda Conferencia Internacional sobre Tecnología Vehicular y Sistemas de Transporte Inteligentes, VEHITS 2016, celebrada en Roma, Italia, en abril de 2016. Los 11 artículos completos de SMARTGREENS 2016 presentados fueron cuidadosamente revisados y seleccionados de 72 presentaciones. VEHITS 2016 recibió 49 presentaciones de artículos de los cuales 5 artículos fueron seleccionados y publicados en este libro. Los artículos reflejan temas como ciudades inteligentes, sistemas y tecnologías conscientes de la energía, informática y comunicaciones sostenibles, transporte sostenible y movilidad inteligente. Nota de contenido: Invited Paper -- Smart Cities and Green ICT Systems -- Vehicle Technology and Intelligent Transport Systems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Smart Cities, Green Technologies, and Intelligent Transport Systems : 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers [documento electrónico] / Helfert, Markus, ; Klein, Cornel, ; Donnellan, Brian, ; Gusikhin, Oleg, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 323 p. 173 ilustraciones.
ISBN : 978-3-319-63712-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Software de la aplicacion Ingeniería Informática Red de computadoras Inteligencia artificial Computadoras y civilización Aplicaciones informáticas y de sistemas de información Ingeniería Informática y Redes Computadoras y sociedad Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas post-conferencia cuidadosamente arbitradas de la 5ª Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2016, y la Segunda Conferencia Internacional sobre Tecnología Vehicular y Sistemas de Transporte Inteligentes, VEHITS 2016, celebrada en Roma, Italia, en abril de 2016. Los 11 artículos completos de SMARTGREENS 2016 presentados fueron cuidadosamente revisados y seleccionados de 72 presentaciones. VEHITS 2016 recibió 49 presentaciones de artículos de los cuales 5 artículos fueron seleccionados y publicados en este libro. Los artículos reflejan temas como ciudades inteligentes, sistemas y tecnologías conscientes de la energía, informática y comunicaciones sostenibles, transporte sostenible y movilidad inteligente. Nota de contenido: Invited Paper -- Smart Cities and Green ICT Systems -- Vehicle Technology and Intelligent Transport Systems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Smart Cities, Green Technologies, and Intelligent Transport Systems : 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Donnellan, Brian, ; Klein, Cornel, ; Helfert, Markus, ; Gusikhin, Oleg, ; Pascoal, António, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIV, 355 p. 153 ilustraciones, 121 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-02907-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Software de la aplicacion Red de computadoras Inteligencia artificial Ordenadores Informática Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Entornos informáticos Matemáticas de la Computación Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Quinta Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2017, y la Tercera Conferencia Internacional sobre Tecnología de Vehículos y Sistemas de Transporte Inteligentes, VEHITS 2017, celebrada en Oporto, Portugal, en abril de 2017. Los 8 artículos completos de SMARTGREENS 2017 presentados fueron cuidadosamente revisados y seleccionados entre 70 presentaciones. VEHITS 2017 recibió 77 presentaciones de artículos de los cuales 9 fueron seleccionados y publicados en este libro. Los artículos reflejan temas como ciudades inteligentes, sistemas y tecnologías conscientes de la energía, informática y comunicaciones sostenibles, transporte sostenible y movilidad inteligente. Nota de contenido: Energy-aware systems and technologies -- Smart cities -- Intelligent vehicle technologies. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Smart Cities, Green Technologies, and Intelligent Transport Systems : 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers [documento electrónico] / Donnellan, Brian, ; Klein, Cornel, ; Helfert, Markus, ; Gusikhin, Oleg, ; Pascoal, António, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIV, 355 p. 153 ilustraciones, 121 ilustraciones en color.
ISBN : 978-3-030-02907-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Software de la aplicacion Red de computadoras Inteligencia artificial Ordenadores Informática Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Entornos informáticos Matemáticas de la Computación Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Quinta Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2017, y la Tercera Conferencia Internacional sobre Tecnología de Vehículos y Sistemas de Transporte Inteligentes, VEHITS 2017, celebrada en Oporto, Portugal, en abril de 2017. Los 8 artículos completos de SMARTGREENS 2017 presentados fueron cuidadosamente revisados y seleccionados entre 70 presentaciones. VEHITS 2017 recibió 77 presentaciones de artículos de los cuales 9 fueron seleccionados y publicados en este libro. Los artículos reflejan temas como ciudades inteligentes, sistemas y tecnologías conscientes de la energía, informática y comunicaciones sostenibles, transporte sostenible y movilidad inteligente. Nota de contenido: Energy-aware systems and technologies -- Smart cities -- Intelligent vehicle technologies. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Smart Cities, Green Technologies and Intelligent Transport Systems : 7th International Conference, SMARTGREENS, and 4th International Conference, VEHITS 2018, Funchal-Madeira, Portugal, March 16-18, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Donnellan, Brian, ; Klein, Cornel, ; Helfert, Markus, ; Gusikhin, Oleg, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIV, 390 p. 219 ilustraciones, 177 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26633-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Software de la aplicacion Red de computadoras Inteligencia artificial Visión por computador Computadoras y civilización Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Computadoras y sociedad Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 7.ª Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2018, y la 4.ª Conferencia Internacional sobre Tecnología de Vehículos y Sistemas de Transporte Inteligentes, VEHITS 2018, celebradas en Funchal-Madeira, Portugal, en Marzo de 2018. Los 18 artículos completos presentados durante SMARTGREENS 2018 y VEHITS 2018 fueron cuidadosamente revisados y seleccionados entre numerosas presentaciones. Los artículos reflejan temas como ciudades inteligentes y sistemas TIC verdes; tecnología de vehículos y sistemas de transporte inteligentes. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Smart Cities, Green Technologies and Intelligent Transport Systems : 7th International Conference, SMARTGREENS, and 4th International Conference, VEHITS 2018, Funchal-Madeira, Portugal, March 16-18, 2018, Revised Selected Papers [documento electrónico] / Donnellan, Brian, ; Klein, Cornel, ; Helfert, Markus, ; Gusikhin, Oleg, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIV, 390 p. 219 ilustraciones, 177 ilustraciones en color.
ISBN : 978-3-030-26633-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Software de la aplicacion Red de computadoras Inteligencia artificial Visión por computador Computadoras y civilización Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Computadoras y sociedad Índice Dewey: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 7.ª Conferencia Internacional sobre Ciudades Inteligentes y Sistemas de TIC Verdes, SMARTGREENS 2018, y la 4.ª Conferencia Internacional sobre Tecnología de Vehículos y Sistemas de Transporte Inteligentes, VEHITS 2018, celebradas en Funchal-Madeira, Portugal, en Marzo de 2018. Los 18 artículos completos presentados durante SMARTGREENS 2018 y VEHITS 2018 fueron cuidadosamente revisados y seleccionados entre numerosas presentaciones. Los artículos reflejan temas como ciudades inteligentes y sistemas TIC verdes; tecnología de vehículos y sistemas de transporte inteligentes. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Permalink
