It's All About Coordination / de Boer, Frank ; Bonsangue, Marcello ; Rutten, Jan  

Público ISBD Ningún comentario para este título. Título : It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab Tipo de documento: documento electrónico Autores: de Boer, Frank, ; Bonsangue, Marcello, ; Rutten, Jan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 245 p. 52 ilustraciones ISBN/ISSN/DL: 978-3-319-90089-6 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: Simulación por ordenador  Lenguajes formales y teoría de los autómatas  Inteligencia artificial  Modelado por computadora  Técnicas de programación  Compiladores e intérpretes  Teoría de las máquinas  Programación informática  Compiladores (programas informáticos)  Ingeniería de software Clasificación: Resumen: Este volumen Festschrift se ha publicado para celebrar los logros científicos de toda la vida de Farhad Arbab con motivo de su jubilación del Centro de Matemáticas e Informática (CWI). A lo largo de los años, Farhad Arbab ha participado con éxito en exploraciones científicas en diversas direcciones: composición de software, informática orientada a servicios, software basado en componentes, teoría de la concurrencia, modelos y lenguajes de coordinación, informática paralela y distribuida, entornos de programación visual, restricciones, lógica y objetos. -Programación Orientada. Farhad Arbab ha dado forma al campo de los lenguajes y modelos de coordinación. Su idea de que se trata de coordinación exógena dio lugar a la sorprendente elegancia y belleza de Reo: un modelo de coordinación exógena basado en un cálculo formal de composición de canales. Reo ha tenido un gran éxito y está teniendo un gran impacto en muchas de las áreas mencionadas anteriormente. El presente volumen recopila una serie de artículos de varios de los colaboradores más cercanos de Farhad a lo largo de los años. . Nota de contenido: Discovering the "Glue" Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab [documento electrónico] / de Boer, Frank, ; Bonsangue, Marcello, ; Rutten, Jan,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 245 p. 52 ilustraciones. ISBN : 978-3-319-90089-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Simulación por ordenador  Lenguajes formales y teoría de los autómatas  Inteligencia artificial  Modelado por computadora  Técnicas de programación  Compiladores e intérpretes  Teoría de las máquinas  Programación informática  Compiladores (programas informáticos)  Ingeniería de software Clasificación: Resumen: Este volumen Festschrift se ha publicado para celebrar los logros científicos de toda la vida de Farhad Arbab con motivo de su jubilación del Centro de Matemáticas e Informática (CWI). A lo largo de los años, Farhad Arbab ha participado con éxito en exploraciones científicas en diversas direcciones: composición de software, informática orientada a servicios, software basado en componentes, teoría de la concurrencia, modelos y lenguajes de coordinación, informática paralela y distribuida, entornos de programación visual, restricciones, lógica y objetos. -Programación Orientada. Farhad Arbab ha dado forma al campo de los lenguajes y modelos de coordinación. Su idea de que se trata de coordinación exógena dio lugar a la sorprendente elegancia y belleza de Reo: un modelo de coordinación exógena basado en un cálculo formal de composición de canales. Reo ha tenido un gran éxito y está teniendo un gran impacto en muchas de las áreas mencionadas anteriormente. El presente volumen recopila una serie de artículos de varios de los colaboradores más cercanos de Farhad a lo largo de los años. . Nota de contenido: Discovering the "Glue" Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200