It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: de Boer, Frank (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bonsangue, Marcello (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rutten, Jan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 10865
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer programming.; Computer simulation.; Artificial intelligence.; Mathematical logic.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Simulation and Modeling.; Artificial Intelligence.; Mathematical Logic and Formal Languages.

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various dir...

Πίνακας περιεχομένων:

• 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.