25 Search Results for "Wirsing, Martin"

Document
DOI: 10.4230/DagRep.4.12.68
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Authors: Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli

Published in: Dagstuhl Reports, Volume 4, Issue 12 (2015)

Abstract
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. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems.
Cite as

Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). In Dagstuhl Reports, Volume 4, Issue 12, pp. 68-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{hillston_et_al:DagRep.4.12.68,
  author =	{Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
  title =	{{Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)}},
  pages =	{68--113},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.68},
  URN =		{urn:nbn:de:0030-drops-50066},
  doi =		{10.4230/DagRep.4.12.68},
  annote =	{Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop}
}
Document
DOI: 10.4230/DagMan.4.1.1
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)

Authors: Pierre Dillenbourg, Armando Fox, Claude Kirchner, John Mitchell, and Martin Wirsing

Published in: Dagstuhl Manifestos, Volume 4, Issue 1 (2014)

Abstract
The rapid emergence and adoption of Massive Open Online Courses (MOOCs) has raised new questions and rekindled old debates in higher education. Academic leaders are concerned about educational quality, access to content, privacy protection for learner data, production costs and the proper relationship between MOOCs and residential instruction, among other matters. At the same time, these same leaders see opportunities for the scale of MOOCs to support learning: faculty interest in teaching innovation, better learner engagement through personalization, increased understanding of learner behavior through large-scale data analytics, wider access for continuing education learners and other nonresidential learners, and the possibility to enhance revenue or lower educational costs. Two years after "the year of the MOOC", this report summarizes the state of the art and the future directions of greatest interest as seen by an international group of academic leaders. Eight provocative positions are put forward, in hopes of aiding policy-makers, academics, administrators, and learners regarding the potential future of MOOCs in higher education. The recommendations span a variety of topics including financial considerations, pedagogical quality, and the social fabric.
Cite as

Pierre Dillenbourg, Armando Fox, Claude Kirchner, John Mitchell, and Martin Wirsing. Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). In Dagstuhl Manifestos, Volume 4, Issue 1, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{dillenbourg_et_al:DagMan.4.1.1,
  author =	{Dillenbourg, Pierre and Fox, Armando and Kirchner, Claude and Mitchell, John and Wirsing, Martin},
  title =	{{Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)}},
  pages =	{1--27},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Dillenbourg, Pierre and Fox, Armando and Kirchner, Claude and Mitchell, John and Wirsing, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagMan.4.1.1},
  URN =		{urn:nbn:de:0030-drops-47861},
  doi =		{10.4230/DagMan.4.1.1},
  annote =	{Keywords: Massive open online course, MOOC, SPOC, e-learning, education}
}
Document
DOI: 10.4230/DagRep.4.3.47
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)

Authors: Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, and Martin Wirsing

Published in: Dagstuhl Reports, Volume 4, Issue 3 (2014)

Abstract
The Perspectives Workshop on "Massively Open Online Courses, Current State and Perspectives" took place at Schloss Dagstuhl on March 10--13, 2014. Twenty-three leading researchers and practitioners from informatics and pedagogical sciences presented and discussed current experiences and future directions, challenges, and visions for the influence of MOOCs on university teaching and learning. The first day of the workshop consisted of a series of presentations in which each participant presented those topics and developments he or she considered most relevant for the future development of MOOCs. The abstracts of these talks are given in the first part of this report. On the second and third day the participants divided into several working groups according to the main thematic areas that had been identified on the first day. This gives rise to a Manifesto to be published in the Dagstuhl Manifesto series and to identifying main research questions rised by the emergence of MOOCs: they are summarized in the second part of this report.
Cite as

Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, and Martin Wirsing. Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). In Dagstuhl Reports, Volume 4, Issue 3, pp. 47-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{dillenbourg_et_al:DagRep.4.3.47,
  author =	{Dillenbourg, Pierre and Kirchner, Claude and Mitchell, John C. and Wirsing, Martin},
  title =	{{Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)}},
  pages =	{47--61},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{3},
  editor =	{Dillenbourg, Pierre and Kirchner, Claude and Mitchell, John C. and Wirsing, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.47},
  URN =		{urn:nbn:de:0030-drops-45910},
  doi =		{10.4230/DagRep.4.3.47},
  annote =	{Keywords: Massively open online courses, MOOC, SPOC, e-learning, education}
}
Document
DOI: 10.4230/DagSemProc.07061.1
07061 Abstracts Collection – Autonomous and Adaptive Web Services

Authors: Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, and Martin Wirsing

Published in: Dagstuhl Seminar Proceedings, Volume 7061, Autonomous and Adaptive Web Services (2007)

Abstract
From 4.2.2007 to 9.2.2007, the Dagstuhl Seminar 07061 ``Autonomous and Adaptive Web Services'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, and Martin Wirsing. 07061 Abstracts Collection – Autonomous and Adaptive Web Services. In Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, Volume 7061, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{koehler_et_al:DagSemProc.07061.1,
  author =	{Koehler, Jana and Pistore, Marco and Sheth, Amit P. and Traverso, Paolo and Wirsing, Martin},
  title =	{{07061 Abstracts Collection – Autonomous and Adaptive Web Services}},
  booktitle =	{Autonomous and Adaptive Web Services},
  pages =	{1--22},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7061},
  editor =	{Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.1},
  URN =		{urn:nbn:de:0030-drops-10359},
  doi =		{10.4230/DagSemProc.07061.1},
  annote =	{Keywords: Intelligent Web Services and Semantic Web, Software Architectures, Distributed Systems, Program Verification, Interoperability}
}
Document
DOI: 10.4230/DagSemProc.07061.2
ASG - Techniques of Adaptivity

Authors: Harald Meyer, Dominik Kuropka, and Peter Tröger

Published in: Dagstuhl Seminar Proceedings, Volume 7061, Autonomous and Adaptive Web Services (2007)

Abstract
The introduction of service-orientation leads to significant improvements regarding flexibility in the choice of business partners and IT-systems. This requires an increased adaptability of enterprise software landscapes as the environment is more dynamic than the ones in traditional approaches. In this paper we present different types of adaptation scenarios for service compositions and their implementation in a service provision platform. Based on experiences from the Adaptive Services Grid (ASG) project, we show how dynamic adaptation strategies are able to support an automated selection, composition and binding of services during run-time.
Cite as

Harald Meyer, Dominik Kuropka, and Peter Tröger. ASG - Techniques of Adaptivity. In Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, Volume 7061, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{meyer_et_al:DagSemProc.07061.2,
  author =	{Meyer, Harald and Kuropka, Dominik and Tr\"{o}ger, Peter},
  title =	{{ASG - Techniques of Adaptivity}},
  booktitle =	{Autonomous and Adaptive Web Services},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7061},
  editor =	{Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.2},
  URN =		{urn:nbn:de:0030-drops-10361},
  doi =		{10.4230/DagSemProc.07061.2},
  annote =	{Keywords: Adaptive service provision, service selection, automated service composition, service recovery}
}
Document
DOI: 10.4230/DagSemProc.07061.3
Composing Web-service-like abstract state machines (ASM)

Authors: Andreas Friesen and Lemcke Jens

Published in: Dagstuhl Seminar Proceedings, Volume 7061, Autonomous and Adaptive Web Services (2007)

Abstract
The presentation provides an overview on semi-automatic design of Collaborative Business Processes for B2B/EAI integration in the EU project FUSION. The introduced Enterprise Application Integration Ontology and a mediator-based run-time architecture for CBPs integrating heterogeneous web services enabled enterprise systems build the corner stones of the FUSION solution. The functionality and the building blocks of the Collaborative Business Process Designer are discussed in detail. The talk provides then an example demonstrating initial ideas for generating an executable collaborative business process out of a CBP template automatically.
Cite as

Andreas Friesen and Lemcke Jens. Composing Web-service-like abstract state machines (ASM). In Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, Volume 7061, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{friesen_et_al:DagSemProc.07061.3,
  author =	{Friesen, Andreas and Lemcke Jens},
  title =	{{Composing Web-service-like abstract state machines (ASM)}},
  booktitle =	{Autonomous and Adaptive Web Services},
  pages =	{1--30},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7061},
  editor =	{Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.3},
  URN =		{urn:nbn:de:0030-drops-10348},
  doi =		{10.4230/DagSemProc.07061.3},
  annote =	{Keywords: Business process composition, collaborative business processes, Web service composition, enterprise application integration, business-to-business inte}
}
Document
DOI: 10.4230/DagSemProc.07061.4
Role of semantics in Autonomic and Adaptive Web Services & Processes

Authors: Amit P. Sheth

Published in: Dagstuhl Seminar Proceedings, Volume 7061, Autonomous and Adaptive Web Services (2007)

Abstract
The emergence of Service Oriented Architectures (SOA) has created a new paradigm of loosely coupled distributed systems. In the METEOR-S project, we have studied the comprehensive role of semantics in all stages of the life cycle of service and process-- including annotation, publication, discovery, interoperability/data mediation, and composition. In 2002-2003, we had offered a broad framework of semantics consisting of four types:1) Data semantics, 2) Functional semantics, 3) Non-Functional semantics and 4) Execution semantics. This talk describes the need for the four types of semantics, its standards-based support through WSDL-S/SAWSDL, and the need for such semantic representation to dynamic and adaptive SOA. We also briefly review the proposal for Adaptive Web Processes introduced earlier in a ICSOC 2005 vision talk.
Cite as

Amit P. Sheth. Role of semantics in Autonomic and Adaptive Web Services & Processes. In Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, Volume 7061, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{sheth:DagSemProc.07061.4,
  author =	{Sheth, Amit P.},
  title =	{{Role of semantics in Autonomic and Adaptive Web Services \& Processes}},
  booktitle =	{Autonomous and Adaptive Web Services},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7061},
  editor =	{Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.4},
  URN =		{urn:nbn:de:0030-drops-10325},
  doi =		{10.4230/DagSemProc.07061.4},
  annote =	{Keywords: Adaptive web service, autonomic web service, adaptive web process, autonomic web process, data semantics, functional semantics, non-functional semanti}
}
Document
DOI: 10.4230/DagSemProc.07061.5
Towards Analyzing Declarative Workflows

Authors: Dirk Fahland

Published in: Dagstuhl Seminar Proceedings, Volume 7061, Autonomous and Adaptive Web Services (2007)

Abstract
Enacting tasks in a workflow cannot always follow a pre-defined process model. In application domains like disaster management workflows are partially specified and circumstances of their enactment change. There exist various approaches for formal workflow models that are effective in such situations, like declarative specifications instead of operational models for formalizing flexible workflow process. These powerful models leave a gap to existing techniques in the domain of workflow modeling, workflow analysis, and workflow management. In this paper we bridge this gap with a compositional mechanism for translating declarative workflow models to operational workflow models. The mechanism is of a general nature and we reveal its principles as we provide an exemplary definition for translating DecSerFlow models based on LTL to Petri nets. We then demonstrate its use in analyzing and refining declarative models.
Cite as

Dirk Fahland. Towards Analyzing Declarative Workflows. In Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, Volume 7061, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{fahland:DagSemProc.07061.5,
  author =	{Fahland, Dirk},
  title =	{{Towards Analyzing Declarative Workflows}},
  booktitle =	{Autonomous and Adaptive Web Services},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7061},
  editor =	{Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.5},
  URN =		{urn:nbn:de:0030-drops-10332},
  doi =		{10.4230/DagSemProc.07061.5},
  annote =	{Keywords: Workflow, declarative, temporal logic, flexible, adaptive, analysis, transformation, Petri net}
}
Document
DOI: 10.4230/DagSemProc.05081.1
05081 Abstracts Collection – Foundations of Global Computing

Authors: José Luiz Fiadeiro, Ugo Montanari, and Martin Wirsing

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
From 20.02.05 to 25.02.05, the Dagstuhl Seminar 05081 on ``Foundations of Global Computing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

José Luiz Fiadeiro, Ugo Montanari, and Martin Wirsing. 05081 Abstracts Collection – Foundations of Global Computing. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{fiadeiro_et_al:DagSemProc.05081.1,
  author =	{Fiadeiro, Jos\'{e} Luiz and Montanari, Ugo and Wirsing, Martin},
  title =	{{05081 Abstracts Collection – Foundations of Global Computing}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.1},
  URN =		{urn:nbn:de:0030-drops-4590},
  doi =		{10.4230/DagSemProc.05081.1},
  annote =	{Keywords: Global Computing}
}
Document
DOI: 10.4230/DagSemProc.05081.6
MiKO---Mikado Koncurrent Objects

Authors: Francisco Martins, Liliana Salvador, Vasco T. Vasconcelos, and Luís Lopes

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
The motivation for the Mikado migration model is to provide programming constructs for controlling code mobility that are as independent as possible from the particular programming language used to program the code. The main idea is to regard a domain (or site, or locality), where mobile code may enter or exit, as a membrane enclosing running processes, and offering services that have to be called for entering or exiting the domain. MiKO---Mikado Koncurrent Objects is a particular instance of this model, where the membrane is explicitly split in two parts: the methods defining the interface, and a process part describing the data for, and the behavior of, the interface. The talk presents the syntax, operational semantics, and type system of MiKO, together with an example. It concludes by briefly mentioning the implementation of a language based on the calculus.
Cite as

Francisco Martins, Liliana Salvador, Vasco T. Vasconcelos, and Luís Lopes. MiKO---Mikado Koncurrent Objects. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{martins_et_al:DagSemProc.05081.6,
  author =	{Martins, Francisco and Salvador, Liliana and Vasconcelos, Vasco T. and Lopes, Lu{\'\i}s},
  title =	{{MiKO---Mikado Koncurrent Objects}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--43},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.6},
  URN =		{urn:nbn:de:0030-drops-3014},
  doi =		{10.4230/DagSemProc.05081.6},
  annote =	{Keywords: Global computing, code migration, administrative domains, process calculus}
}
Document
DOI: 10.4230/DagSemProc.05081.7
Practical Techniques for Language Design and Prototyping

Authors: Mark-Oliver Stehr and Carolyn Talcott L.

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
Global computing involves the interplay of a vast variety of languages, but practially useful foundations for language specification and prototyping at the semantic level are lacking. In this talk we present a systematic approach consisting of three techniques: 1. A generic calculus of explicit substitutions with names (called CINNI) that allows us give a first-order representation of syntax to uniformly deal with all binding aspects. 2. An executable representation of Felleisen-style operational semantics in terms of first-order rewrite rules. 3. A logical framework, namely rewriting logic, that allows us to express (1) and (2) and, in addition, language aspects such as concurrency and non-determinism. We illustrate the use of these techniques in two applications: 1. A formal specification and analysis of PLAN, a Packet Language for Active Networks, that has been developed in the Switchware project at UPenn. This work was conducted in the scope of the DARPA Active Network Program. 2. The development of CIAO, a Calculus of Imperative Active Objects, a core language for concurrent object-oriented programming. It is especially designed to allow a the representation of practically relevant sublanguages of common object-oriented languages such as Java, C#, and C++. This second application is subject of ongoing work.
Cite as

Mark-Oliver Stehr and Carolyn Talcott L.. Practical Techniques for Language Design and Prototyping. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{stehr_et_al:DagSemProc.05081.7,
  author =	{Stehr, Mark-Oliver and Talcott L., Carolyn},
  title =	{{Practical Techniques for Language Design and Prototyping}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--38},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.7},
  URN =		{urn:nbn:de:0030-drops-3006},
  doi =		{10.4230/DagSemProc.05081.7},
  annote =	{Keywords: Rewriting logic, explicit substitutions, operational semantics, active networks, active objects}
}
Document
DOI: 10.4230/DagSemProc.05081.8
Probabilistic Anonymity

Authors: Catuscia Palamidessi and Mohit Bhargava

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
The concept of anonymity comes into play in a wide range of situations, varying from voting and anonymous donations to postings on bulletin boards and sending mails. A formal definition of this concept has been given in literature in terms of nondeterminism. In this paper, we investigate a notion of anonymity based on probability theory, and we we discuss the relation with the nondeterministic one. We then formulate this definition in terms of observables for processes in the probabilistic $pi$-calculus, and propose a method to verify automatically the anonymity property. We illustrate the method by using the example of the dining cryptographers.
Cite as

Catuscia Palamidessi and Mohit Bhargava. Probabilistic Anonymity. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{palamidessi_et_al:DagSemProc.05081.8,
  author =	{Palamidessi, Catuscia and Bhargava, Mohit},
  title =	{{Probabilistic Anonymity}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--25},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.8},
  URN =		{urn:nbn:de:0030-drops-2992},
  doi =		{10.4230/DagSemProc.05081.8},
  annote =	{Keywords: Anonymity, probability theory, process calculi}
}
Document
DOI: 10.4230/DagSemProc.05081.2
Architectural Views for CommUnity

Authors: Cristóvão Oliveira and Michel Wermelinger

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
CommUnity and its categorical foundations provide a formal approach to Software Architecture (SA). Several concepts such as (re) configuration and (higher-order) connector have been given precise definitions in this setting. One of the cornerstones of the approach is the separation between computation, coordination and distribution. In this paper, we take this separation one step further and define explicit architectural views, one for each concern. They will be used to help to detect errors made while building the architecture. Moreover they will be a support to improve the design of the system by focusing on one concern at a time and/or by combining them with each other.
Cite as

Cristóvão Oliveira and Michel Wermelinger. Architectural Views for CommUnity. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{oliveira_et_al:DagSemProc.05081.2,
  author =	{Oliveira, Crist\'{o}v\~{a}o and Wermelinger, Michel},
  title =	{{Architectural Views for CommUnity}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.2},
  URN =		{urn:nbn:de:0030-drops-2967},
  doi =		{10.4230/DagSemProc.05081.2},
  annote =	{Keywords: Software Architecture, views, computation, coordination, distribution}
}
Document
DOI: 10.4230/DagSemProc.05081.3
Data Handover: Reconciling Message Passing and Shared Memory

Authors: Jens Gustedt

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
Data Handover (DHO) is a programming paradigm and interface that aims to handle data between parallel or distributed processes that mixes aspects of message passing and shared memory. It is designed to overcome the potential problems in terms of efficiency of both: (1) memory blowup and forced copies for message passing and (2) data consistency and latency problems for shared memory. Our approach attempts to be simple and easy to understand. It contents itself with just a handful of functions to cover the main aspects of coarse grained inter-operation upon data.
Cite as

Jens Gustedt. Data Handover: Reconciling Message Passing and Shared Memory. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{gustedt:DagSemProc.05081.3,
  author =	{Gustedt, Jens},
  title =	{{Data Handover: Reconciling Message Passing and Shared Memory}},
  booktitle =	{Foundations of Global Computing},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.3},
  URN =		{urn:nbn:de:0030-drops-2977},
  doi =		{10.4230/DagSemProc.05081.3},
  annote =	{Keywords: Efficient data management, message passing, shared memory}
}
Document
DOI: 10.4230/DagSemProc.05081.4
Injecting Distribution in CASL

Authors: Maura Cerioli and Matteo Dell'Amico

Published in: Dagstuhl Seminar Proceedings, Volume 5081, Foundations of Global Computing (2006)

Abstract
We present a first attempt at the development of a library in the specification language Casl providing primitives to represent connectivity and communication in a distributed system. The focus, in particular, is on peer-to-peer, which presents more challanges than the client-server paradigm, because of the higher degree of anarchy and the large amount of middleware providing similar but different features in support of it. From our experience on the definition of this library, we draw some methodological lessons on how to deal with the capture of complex software systems, as opposite to classical libraries representing standard or mathematical datatypes.
Cite as

Maura Cerioli and Matteo Dell'Amico. Injecting Distribution in CASL. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{cerioli_et_al:DagSemProc.05081.4,
  author =	{Cerioli, Maura and Dell'Amico, Matteo},
  title =	{{Injecting Distribution in CASL}},
  booktitle =	{Foundations of Global Computing},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5081},
  editor =	{Jos\'{e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05081.4},
  URN =		{urn:nbn:de:0030-drops-2981},
  doi =		{10.4230/DagSemProc.05081.4},
  annote =	{Keywords: P2P, CASL, algebraic specification language, specification library}
}
  • Refine by Author
  • 14 Wirsing, Martin
  • 4 Ehrig, Hartmut
  • 4 Jähnichen, Stefan
  • 3 Loeckx, Jacques
  • 2 Dillenbourg, Pierre
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 MOOC
  • 2 SPOC
  • 2 e-learning
  • 2 education
  • 1 Adaptive service provision
  • Show More...

  • Refine by Type
  • 25 document

  • Refine by Publication Year
  • 8 2006
  • 5 2007
  • 2 1994
  • 2 2014
  • 1 1991
  • Show More...

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact