Filters








162 Hits in 2.9 sec

Synchronous Programming (Dagstuhl Seminar 13471)

Stephen A. Edwards, Alain Girault, Klaus Schneider, Marc Herbstritt
2014 Dagstuhl Reports  
This report is a summary of the Dagstuhl Seminar 13471 "Synchronous Programming", which took place during November 18-22, 2013, and which was the 20 th edition of the yearly workshop of the synchronous  ...  The report contains the abstracts of the presentations given during the seminar in addition to the documents provided by the participants on the web pages of the seminar 1 .  ...  Such loops can cause simulations to deadlock, are a source of compilation bugs and prevent the generation of statically scheduled code.  ... 
doi:10.4230/dagrep.3.11.117 dblp:journals/dagstuhl-reports/EdwardsGS13 fatcat:b7aq6w2q4fawjjqtlfleujr3gi

Planning and Operations Research (Dagstuhl Seminar 18071)

J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan Van Hoeve, Michael Wagner
2018 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 18071 "Planning and Operations Research".  ...  The seminar brought together researchers in the areas of Artificial Intelligence (AI) Planning, Constraint Programming, and Operations Research.  ...  This works well for problems with some underlying structure, for example for Vehicle routing, Airline Scheduling, Shift Scheduling and Jobshop Scheduling.  ... 
doi:10.4230/dagrep.8.2.26 dblp:journals/dagstuhl-reports/BeckMRH18 fatcat:lavt5jfujfarfmtwrpbbxan2oq

Automated Planning and Model Checking (Dagstuhl Seminar 14482)

Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku, Marc Herbstritt
2015 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 14482 "Automated Planning and Model Checking".  ...  The motivation for this seminar was to increase the synergy between the two research communities, and explore recent progress in the two areas in terms of techniques, tools and formalisms for describing  ...  The general aim of this Dagstuhl Seminar was to increase the synergy between the two research communities.  ... 
doi:10.4230/dagrep.4.11.227 dblp:journals/dagstuhl-reports/CimattiEFMP14 fatcat:ukc75llezvg2jevqaytqouvzje

Values in Computing (Dagstuhl Seminar 19291)

Christoph Becker, Gregor Engels, Andrew Feenberg, Maria Angela Ferrario, Geraldine Fitzpatrick, Michael Wagner
2019 Dagstuhl Reports  
License Creative Commons BY 3.0 Unported license © The purpose of Dagstuhl Seminar 1929 'Values in Computing' was to bring together practitioners and researchers with expertise stretching beyond computer  ...  This seminar aims to examine the complex relations between values, computing technologies and society.  ...  , both of which have published proceedings.  ... 
doi:10.4230/dagrep.9.7.40 dblp:journals/dagstuhl-reports/BeckerEFFF19 fatcat:qxhtdgcvvjd5ji6evhobrqmelu

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev, Michael Wagner
2019 Dagstuhl Reports  
Driven by the practical needs and usage scenarios from industry, this Dagstuhl Seminar aimed to identify the challenges, issues and open research problems for multidirectional model transformations and  ...  Creative Commons BY 3.0 Unported license © Perdita Stevens, Ekkart Kindler The Dagstuhl Seminar on "Multidirectional Transformations and Synchronisations" was the latest on a sequence of events [1] (coordinated  ...  Science and En- gineering of Cyber-Physical Systems, Dagstuhl Seminar 11441. Dagstuhl Reports 1(11), https://doi.org/10.4230/DagRep.1.11.1, 2011. 3 Vadim Zaytsev.  ... 
doi:10.4230/dagrep.8.12.1 dblp:journals/dagstuhl-reports/CleveKSZ18 fatcat:mdln6uhtojam3gjmyqxr4wxmoq

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons, Michael Wagner
2018 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 18092 "The Logical Execution Time Paradigm: New Perspectives for Multicore Systems".  ...  The objective of this Dagstuhl Seminar was to investigate new opportunities and challenges raised by the use of LET as a basis for implementing parallel execution of control software.  ...  Will it be the topic of a Dagstuhl seminar in fifteen years? This is probably too much to ask for. Thanks a lot to the organizers of this seminar for inviting me!  ... 
doi:10.4230/dagrep.8.2.122 dblp:journals/dagstuhl-reports/ErnstKQS18 fatcat:6k7z4uyijrhuxceulih3jeiqoa

Integrating Process-Oriented and Event-Based Syste (Dagstuhl Seminar 16341)

David Eyers, Avigdor Gal, Hans-Arno Jacobsen, Matthias Weidlich, Marc Herbstritt
2017 Dagstuhl Reports  
This report documents the programme and the outcomes of Dagstuhl Seminar 16341 on "Integrating Process-Oriented and Event-Based Systems", which took place August 21-26, 2016, at Schloss Dagstuhl -Leibniz  ...  This report summarises the outcomes of the seminar by reviewing the state-of-the-art and outlining research challenges on the intersection of process-oriented and event-based systems.  ...  Reports, Vol. 6, Issue 8, pp. 21-64 Editors: David Eyers, Avigdor Gal, Hans-Arno Jacobsen, and Matthias Weidlich Dagstuhl Reports Schloss Dagstuhl -Leibniz-Zentrum für Informatik, Dagstuhl Publishing,  ... 
doi:10.4230/dagrep.6.8.21 dblp:journals/dagstuhl-reports/EyersGJW16 fatcat:axbbv7hntfewvbbahau7d364nm

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Marc Herbstritt
2015 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis".  ...  Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms.  ...  In: Proceedings of NSDI 2005, USENIX 6 Casado, M., Koponen, T., Ramanathan, R., Shenker, S.: Virtualizing the network forwarding plane.  ... 
doi:10.4230/dagrep.4.12.68 dblp:journals/dagstuhl-reports/HillstonPWZ14 fatcat:65ubygwg6zht3pdl4mgynl2knq

Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl Seminar 17141)

Bodo Manthey, Claire Mathieu, Heiko Röglin, Eli Upfal, Marc Herbstritt
2017 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 17141 "Probabilistic Methods in the Design and Analysis of Algorithms".  ...  The seminar was on probabilistic methods with a focus on the design and analysis of algorithms.  ...  In that sense, we also demonstrate how this technique be put to work for stochastic and nonpreemptive scheduling problems.  ... 
doi:10.4230/dagrep.7.4.1 dblp:journals/dagstuhl-reports/MantheyMRU17 fatcat:37g24odqhvg3rnlpudblwug6hy

Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)

Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck, Julian Togelius, Marc Herbstritt
2015 Dagstuhl Reports  
This report documents Dagstuhl Seminar 15051 "Artificial and Computational Intelligence in Games: Integration".  ...  The focus of the seminar was on the computational techniques used to create, enhance, and improve the experiences of humans interacting with and within virtual environments.  ...  The value of these Dagstuhl Seminars is indisputable.  ... 
doi:10.4230/dagrep.5.1.207 dblp:journals/dagstuhl-reports/LucasMPST15 fatcat:326hvjmzcndnzgd3jyk343sc2u

Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl [article]

Joel Greenyer, Malte Lochau, Thomas Vogel
2019 arXiv   pre-print
This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS).  ...  The seminar was concerned with the challenge that for future Cyber-Physical Systems (CPS), it will become increasingly relevant to explain their behavior (past, current, and future behavior, why a certain  ...  (GI, German Society for Informatics) and Schloss Dagstuhl for partially funding this seminar.  ... 
arXiv:1904.11851v1 fatcat:r2r5ac6hmnel3f6weiynjwunni

Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical Interaction (Dagstuhl Seminar 20021)

Laurence Devillers, Tatsuya Kawahara, Roger K. Moore, Matthias Scheutz
2020 Dagstuhl Reports  
This report documents the outcomes of Dagstuhl Seminar 20021 "Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical Interaction".  ...  the seminar and open problem statements from participants.  ...  During SLIVAR Dagstuhl seminar, it was seen that the community was hugely concerned about articulating these models.  ... 
doi:10.4230/dagrep.10.1.1 dblp:journals/dagstuhl-reports/DevillersKMS20 fatcat:yjjvsdl3xzec5mldakylcfinbi

Dagstuhl Seminar Proceedings 08461 Planning in Multiagent Systems

Jürgen Dix, Edmund Durfee, Cees Witteveen, C Witteveen@tudelft, Nl, Jürgen Dix, Edmund Durfee, Cees Witteveen, Tristan Behrens, T Clausthal, Germany, Tristan Behrens (+8 others)
unpublished
From the 9th of November to the 14th of November 2008 the Dagstuhl Seminar 08461 Planning in Multiagent Systems was held in Schloss Dagstuhl Leibniz Center for Informatics.  ...  Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper.  ...  Rubinstein, Distributed Management of Flexible Times Schedules, Proceedings 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 07), Honolulu Hawaii, May 2007.  ... 
fatcat:vtb6u7ztbvf4njestdlit3ssiq

Dagstuhl Seminar Proceedings 05061 Foundations of Semistructured Data

Frank Neven, Thomas Schwentick, Dan Suciu, Serge Abiteboul
unpublished
From 06.02.05 to 11.02.05, the Dagstuhl Seminar 05061 Foundations of Semistructured Data was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.  ...  Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper.  ...  This algorithm uses order constraints from a DTD to schedule event handlers and to thus minimize the amount of buering required for evaluating a query.  ... 
fatcat:sltoatnasffjzcnyqkiyejjypm

Disruption Tolerant Networking Dagstuhl Seminar

Marcus Brunner, Lars Eggert, Kevin Fall, Jörg Ott, Lars Wolf
Dagstuhl Seminar Proceedings   unpublished
A seminar on DTN was held at at Schloss Dagstuhl, Germany, from 3 to 6 April 2005.  ...  From 03.04.05 to 06.04.05, the Dagstuhl Seminar 05142 Disruption Tolerant Networking was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.  ...  simulation models.  ... 
fatcat:zcdoko2ppvctznr5htzvzyt4ca
« Previous Showing results 1 — 15 out of 162 results