Información del autor
Autor Taha, Walid |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / Chamberlain, Roger ; Taha, Walid ; Törngren, Martin
TÃtulo : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 231 p. 236 ilustraciones, 58 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-23703-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Simulación por ordenador Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Ordenadores Microprogramación Modelado por computadora Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Entornos informáticos Estructuras de control y microprogramación Clasificación: 003 Teoría general de sistemas Resumen: Este libro constituye las actas del 8.º Taller internacional sobre diseño, modelado y evaluación de sistemas ciberfÃsicos, CyPhy 2018 y el 14.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2018, celebrado junto con ESWeek 2018, en TurÃn. Italia, en octubre de 2018. Los 13 artÃculos completos presentados junto con 1 artÃculo breve en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelado, simulación, verificación, diseño, sistemas ciberfÃsicos, sistemas integrados, sistemas en tiempo real, seguridad y confiabilidad. Nota de contenido: Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers [documento electrónico] / Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 231 p. 236 ilustraciones, 58 ilustraciones en color.
ISBN : 978-3-030-23703-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Simulación por ordenador Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Ordenadores Microprogramación Modelado por computadora Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Entornos informáticos Estructuras de control y microprogramación Clasificación: 003 Teoría general de sistemas Resumen: Este libro constituye las actas del 8.º Taller internacional sobre diseño, modelado y evaluación de sistemas ciberfÃsicos, CyPhy 2018 y el 14.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2018, celebrado junto con ESWeek 2018, en TurÃn. Italia, en octubre de 2018. Los 13 artÃculos completos presentados junto con 1 artÃculo breve en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelado, simulación, verificación, diseño, sistemas ciberfÃsicos, sistemas integrados, sistemas en tiempo real, seguridad y confiabilidad. Nota de contenido: Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 159 p. 70 ilustraciones, 31 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17910-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Software de la aplicacion IngenierÃa de software Ordenadores Computadoras Propósitos especiales Sistemas informáticos Ciencias de la Computación Aplicaciones informáticas y de sistemas de información Hardware de la computadora Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Lógica informática y fundamentos de la programación Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas del Séptimo Taller Internacional sobre Diseño, Modelado y Evaluación de Sistemas CiberfÃsicos, CyPhy2017, celebrado junto con ESWeek 2017, en Seúl, Corea del Sur, en octubre de 2017. Los 10 artÃculos presentados junto con 1 extendido y 1 resúmenes invitados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen robótica; hogares, vehÃculos y edificios inteligentes; implantes médicos; y redes de sensores de futura generación. . Nota de contenido: Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers [documento electrónico] / Chamberlain, Roger, ; Taha, Walid, ; Törngren, Martin, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 159 p. 70 ilustraciones, 31 ilustraciones en color.
ISBN : 978-3-030-17910-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Software de la aplicacion IngenierÃa de software Ordenadores Computadoras Propósitos especiales Sistemas informáticos Ciencias de la Computación Aplicaciones informáticas y de sistemas de información Hardware de la computadora Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Lógica informática y fundamentos de la programación Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas del Séptimo Taller Internacional sobre Diseño, Modelado y Evaluación de Sistemas CiberfÃsicos, CyPhy2017, celebrado junto con ESWeek 2017, en Seúl, Corea del Sur, en octubre de 2017. Los 10 artÃculos presentados junto con 1 extendido y 1 resúmenes invitados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen robótica; hogares, vehÃculos y edificios inteligentes; implantes médicos; y redes de sensores de futura generación. . Nota de contenido: Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Chamberlain, Roger, ; Edin Grimheden, Martin, ; Taha, Walid, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 285 p. 170 ilustraciones, 57 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-41131-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Microprogramación Compiladores (programas informáticos) Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Estructuras de control y microprogramación Compiladores e intérpretes Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas del 9.º Taller internacional sobre diseño basado en modelos de sistemas ciberfÃsicos, CyPhy 2019 y el 15.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2019, celebrado junto con ESWeek 2019, en la ciudad de Nueva York. Nueva York, EE. UU., en octubre de 2019. Los 13 artÃculos completos presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelos y diseño; simulación y herramientas; métodos formales; Educación en sistemas integrados y ciberfÃsicos. Nota de contenido: Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers [documento electrónico] / Chamberlain, Roger, ; Edin Grimheden, Martin, ; Taha, Walid, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 285 p. 170 ilustraciones, 57 ilustraciones en color.
ISBN : 978-3-030-41131-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Software de la aplicacion Computadoras Propósitos especiales Sistemas informáticos Microprogramación Compiladores (programas informáticos) Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Estructuras de control y microprogramación Compiladores e intérpretes Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro constituye las actas del 9.º Taller internacional sobre diseño basado en modelos de sistemas ciberfÃsicos, CyPhy 2019 y el 15.º Taller internacional sobre educación en sistemas integrados y ciberfÃsicos, WESE 2019, celebrado junto con ESWeek 2019, en la ciudad de Nueva York. Nueva York, EE. UU., en octubre de 2019. Los 13 artÃculos completos presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. La conferencia presenta una amplia gama de dominios que incluyen modelos y diseño; simulación y herramientas; métodos formales; Educación en sistemas integrados y ciberfÃsicos. Nota de contenido: Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings Tipo de documento: documento electrónico Autores: Lierler, Yuliya, ; Taha, Walid, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 215 p. 31 ilustraciones ISBN/ISSN/DL: 978-3-319-51676-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos) Programación de computadoras Ciencias de la Computación IngenierÃa de software Inteligencia artificial TecnologÃa de la información Compiladores e intérpretes Técnicas de programación Lógica informática y fundamentos de la programación Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 005.45 Resumen: Este libro constituye las actas del 19º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2017, celebrado en ParÃs, Francia, en enero de 2017 y coincidido con el Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 14 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Se ocupan de aplicaciones novedosas y técnicas de implementación para todas las formas de lenguajes declarativos, incluidos, entre otros, lenguajes lógicos, de restricciones y funcionales. . Nota de contenido: Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings [documento electrónico] / Lierler, Yuliya, ; Taha, Walid, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 215 p. 31 ilustraciones.
ISBN : 978-3-319-51676-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Compiladores (programas informáticos) Programación de computadoras Ciencias de la Computación IngenierÃa de software Inteligencia artificial TecnologÃa de la información Compiladores e intérpretes Técnicas de programación Lógica informática y fundamentos de la programación Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 005.45 Resumen: Este libro constituye las actas del 19º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2017, celebrado en ParÃs, Francia, en enero de 2017 y coincidido con el Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 14 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Se ocupan de aplicaciones novedosas y técnicas de implementación para todas las formas de lenguajes declarativos, incluidos, entre otros, lenguajes lógicos, de restricciones y funcionales. . Nota de contenido: Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
