Informatik (15.755 Artikel)

This book constitutes revised selected papers from the thoroughly refereed proceedings of the International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance o...

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems...

This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, ...

International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

Coordination.- Towards a Framework for Agent Coordination and Reorganization, AgentCoRe.- Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions.- A Contract Model for Elect...

This book constitutes the thoroughly refereed proceedings of the 9th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2013. The workshops were c...

Modelling, Analyzing and Programming Organizations.- A Coordination Framework Based on the Sociology of Organized Action.- Formal Modeling and Analysis of Organizations.- Towards Sustained Team Eff...

This book constitutes the thoroughly reviewed joint post-conference proceedings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 201...

This book constitutes the thoroughly reviewed post-proceeding of International Workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2012, held in Valencia, S...

This volume contains the extended version of selected talks given at the international research workshop "Coping with Complexity: Model Reduction and Data Analysis", Ambleside, UK, August 31 - Sept...

Analysis and Design via LP Duality

Analysis and Design via LP Duality

Core Data Analysis: Summarization, Correlation, and Visualization

Programming with coroutines.- A programming language with coroutines.- The design of the semantics of the language.- The syntax of the language.- The implementation of the language.- Conclusions an...

Invited Talks.- What Is beyond the RTL Horizon for Microprocessor and System Design?.- The Charme of Abstract Entities.- Tutorial.- The PSL/Sugar Specification Language A Language for all Seasons.-...