20 Search Results for "Sure, York"


Document
Track B: Automata, Logic, Semantics, and Theory of Programming
Reachability for Branching Concurrent Stochastic Games (Track B: Automata, Logic, Semantics, and Theory of Programming)

Authors: Kousha Etessami, Emanuel Martinov, Alistair Stewart, and Mihalis Yannakakis

Published in: LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)


Abstract
We give polynomial time algorithms for deciding almost-sure and limit-sure reachability in Branching Concurrent Stochastic Games (BCSGs). These are a class of infinite-state imperfect-information stochastic games that generalize both finite-state concurrent stochastic reachability games ([L. de Alfaro et al., 2007]) and branching simple stochastic reachability games ([K. Etessami et al., 2018]).

Cite as

Kousha Etessami, Emanuel Martinov, Alistair Stewart, and Mihalis Yannakakis. Reachability for Branching Concurrent Stochastic Games (Track B: Automata, Logic, Semantics, and Theory of Programming). In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 132, pp. 115:1-115:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@InProceedings{etessami_et_al:LIPIcs.ICALP.2019.115,
  author =	{Etessami, Kousha and Martinov, Emanuel and Stewart, Alistair and Yannakakis, Mihalis},
  title =	{{Reachability for Branching Concurrent Stochastic Games}},
  booktitle =	{46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)},
  pages =	{115:1--115:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-109-2},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{132},
  editor =	{Baier, Christel and Chatzigiannakis, Ioannis and Flocchini, Paola and Leonardi, Stefano},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.115},
  URN =		{urn:nbn:de:0030-drops-106917},
  doi =		{10.4230/LIPIcs.ICALP.2019.115},
  annote =	{Keywords: stochastic games, multi-type branching processes, concurrent games, minimax-polynomial equations, reachability, almost-sure, limit-sure}
}
Document
Foreword
Foreword

Authors: Alan Burns

Published in: LITES, Volume 1, Issue 1 (2014). Leibniz Transactions on Embedded Systems, Volume 1, Issue 1


Abstract
I would like to welcome all readers to the first issue of this new not-for-profit open access journal: the Leibniz Transactions on Embedded Systems (LITES). Unless you have come across this journal by accident then you will already understand the key role that embedded systems have in modern life. One can hardly think of a single human activity that is not underpinned by such systems; transport, entertainment, supply lines for supermarkets, health care and drug production, energy production and transmission, robotic manufacturing, control systems and communication media of all kinds are now dependent on the fusion of embedded hardware and software. For researchers in this domain this provides great opportunities but also responsibilities. We need to make sure that society can justifiable rely on technology that is increasing beyond the understanding of most ordinary people. Computer-based technologies have been described as modern magic; it follows that we are therefore magicians. But the spells we cast must be based on sound principles, solid theory and demonstrable performance.One of the influences that embedded and other IT technology has had in the last decade is in publishing itself. Online services are now the norm. And early and open access to publicly funded research is now rightly demanded by Government bodies and related funding councils. This new journal has been created to meet this challenge. All papers are open access, with copyright being retained by the authors. Moreover, only a small fee is charged to authors due to low operational overheads and the support of Google and the Klaus Tschira Stiftung. But the lack of a physical page limit in an online-only journal does not mean that quality is undermined. All papers are thoroughly reviewed, with only the best work, in terms of originality and rigour, being accepted. Our aim is to evolve an excellent and effective venue for publish scholarly articles. To help achieve this aim LITES benefits greatly from having the name and reputation of Schloss Dagstuhl behind it.The volume of research material produced world-wide relating to embedded systems has lead to the spawning of many conferences and workshops, special issues and focused publications. In LITES we intend to cater for the broadest collection of relevant topics. We currently have subject editors to cover: the design, implementation, verification, and testing of embedded hardware and software systems; the theoretical foundations; single-core, multi-processor and networked architectures and their energy consumption and predictability properties; reliability and fault tolerance; security properties; applications in the avionics, automotive, telecommunication, medical and production domains; cyber-physical systems; high performance and real-time embedded systems; and hybrid systems. This is an impressive list, but it is not exhaustive. New areas will emerge and new editors will be appointed.LITES obtains its governance from EDAA (European Design and Automation Association) and EMSIG (Embedded Systems Special Interest Group) as a joint endeavour with Schloss Dagstuhl. EDAA/EMSIG appoint the Editor-in-Chief (EiC) and the subject area editors. The terms for editors is four years, renewable once. All editorial work is done voluntarily.The first few issues of the journal will contain standard papers that have been through the review process. Later, comments on previously published papers will be allowed and commentaries included that will help the reader trace forward the influence of each paper. Comments will be reviewed; commentaries will just need to be passed by the EiC. I hope that as a reader you will find the papers in this journal of interest and often inspirational. As a researcher I hope you will consider it as a worthy place to entrust your work. All the editorial team will work towards building up the reputation of the journal. I hope the community at large will be part of that journey.I am proud to be the founding EiC of this journal, but I promise not to include editorials in future issues. The papers are quite capable of introducing themselves.Alan Burns

Cite as

LITES, Volume 1, Issue 1, pp. 0:i-0:ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{burns:LITES-v001-i001-a000,
  author =	{Burns, Alan},
  title =	{{Foreword}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{00:1--00:2},
  ISSN =	{2199-2002},
  year =	{2014},
  volume =	{1},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v001-i001-a000},
  doi =		{10.4230/LITES-v001-i001-a000},
  annote =	{Keywords: }
}
Document
Description Logic Programs: A Practical Choice For the Modelling of Ontologies

Authors: Pascal Hitzler, York Sure, and Rudi Studer

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)


Abstract
Knowledge representation using ontologies constitutes the heart of semantic technologies. Despite successful standardization efforts by the W3C, however, there are still numerous different ontology representation languages being used, and interoperability between them is in general not given. The problem is aggrevated by the fact that current standards lay foundations only and are well-known to be insufficient for the modelling of finer details. Thus, a plethora of extensions of the basic languages is being proposed, rendering the picture of ontology representation languages to be chaotic, to say the least. While semantic technologies start to become applicable and are being applied in adjacent areas of research and in research projects with industrial participation, and can soon be expected to become an integral part of industrial applications, the practitioner is faced with the difficult task of choosing his basic ontology representation paradigm. We will argue that the OWL subset known as Description Logic Programs constitutes a very reasonable choice.

Cite as

Pascal Hitzler, York Sure, and Rudi Studer. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{hitzler_et_al:DagSemProc.05371.4,
  author =	{Hitzler, Pascal and Sure, York and Studer, Rudi},
  title =	{{Description Logic Programs: A Practical Choice For the Modelling of Ontologies}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.4},
  URN =		{urn:nbn:de:0030-drops-4783},
  doi =		{10.4230/DagSemProc.05371.4},
  annote =	{Keywords: Description Logic Programs}
}
Document
Scientific Workflows: Catalyzing the Grid ⇌ Semantic Web Reaction

Authors: Bertram Ludaescher

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
Scientific workflows allow scientists to automate repetitive data management, analysis, and visualization tasks, and to document the provenance of analysis results. Scientific workflows are composed of interlinked computational components (sometimes called actors), and the datasets that are consumed and produced by those components. Scientific workflow systems are problem-solving environments to design, reuse, share, execute, monitor, and archive scientific workflows. As such, they are the primary tool that end user scientists use when interacting with the emerging e-Science cyberinfrastucture. Scientific workflow systems can often benefit from both, Grid and Semantic Web capabilities. Thus, scientific workflows can bring together these otherwise loosely connected technologies and "catalyze the reaction" between them.

Cite as

Bertram Ludaescher. Scientific Workflows: Catalyzing the Grid ⇌ Semantic Web Reaction. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{ludaescher:DagSemProc.05271.10,
  author =	{Ludaescher, Bertram},
  title =	{{Scientific Workflows: Catalyzing the Grid ⇌ Semantic Web Reaction}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.10},
  URN =		{urn:nbn:de:0030-drops-4076},
  doi =		{10.4230/DagSemProc.05271.10},
  annote =	{Keywords: Semantic grid, scientific workflow}
}
Document
Security and Trust Issues in Semantic Grids

Authors: Daniel Olmedilla, Omer F. Rana, Brian Matthews, and Wolfgang Nejdl

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
Grid computing allows sharing of services and resources accross institutions. However, current Grid security mechanisms for authentication and authorization are too rigid and they lack the ability to determine how ``trustworthy'' the result obtained from a specific provider is likely to be. This paper describes the different facets associated to Trust and identifies the need for Trust Management approaches in the context of Virtual Organizations lifecycle and resource access control in the Grid.

Cite as

Daniel Olmedilla, Omer F. Rana, Brian Matthews, and Wolfgang Nejdl. Security and Trust Issues in Semantic Grids. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{olmedilla_et_al:DagSemProc.05271.11,
  author =	{Olmedilla, Daniel and Rana, Omer F. and Matthews, Brian and Nejdl, Wolfgang},
  title =	{{Security and Trust Issues in Semantic Grids}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.11},
  URN =		{urn:nbn:de:0030-drops-4081},
  doi =		{10.4230/DagSemProc.05271.11},
  annote =	{Keywords: Trust, Security, Policies, Safety, Reputation, VO Lifecycle}
}
Document
05271 Abstracts Collection – Semantic Grid: The Convergence of Technologies

Authors: York Sure, Carole Goble, and Carl Kesselman

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
From 03.07.05 to 08.07.05, the Dagstuhl Seminar 05271 ``Semantic Grid – The Convergence of Technologies'' 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

York Sure, Carole Goble, and Carl Kesselman. 05271 Abstracts Collection – Semantic Grid: The Convergence of Technologies. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{sure_et_al:DagSemProc.05271.1,
  author =	{Sure, York and Goble, Carole and Kesselman, Carl},
  title =	{{05271 Abstracts Collection – Semantic Grid: The Convergence of Technologies}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.1},
  URN =		{urn:nbn:de:0030-drops-3973},
  doi =		{10.4230/DagSemProc.05271.1},
  annote =	{Keywords: Semantic Grid, Semantic Web, Grid, Web Services, Agents, Peer-To-Peer}
}
Document
05271 Prospectus for Dagstuhl Library Working Group

Authors: Reagan W. Moore

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
Prospectus for the formation of a Digital Library Group The topics of data and information virtualization are proposed as the basis for a working group at the Dagtuhl conference on the Semantic Grid.

Cite as

Reagan W. Moore. 05271 Prospectus for Dagstuhl Library Working Group. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{moore:DagSemProc.05271.2,
  author =	{Moore, Reagan W.},
  title =	{{05271 Prospectus for Dagstuhl Library Working Group}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.2},
  URN =		{urn:nbn:de:0030-drops-3962},
  doi =		{10.4230/DagSemProc.05271.2},
  annote =	{Keywords: Digital Library, Data Grid, Persistent Archive, semantic grid}
}
Document
05271 Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies

Authors: York Sure, Carole Goble, and Carl Kesselman

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
The scientific paradigms of the Semantic Web, Web Services, Agents, Peer-to-Peer Networks and Grid Computing are currently receiving a lot of attention in the research community, and are producing solutions to important problems ranging from e-science to e-business. The United States DAML program, the European Commission and other organisations have also been investing heavily in these technologies. This Dagstuhl Seminar brought together world-leading experts from the diverse organizations and research areas. It strengthened the international collaboration with the aim to realize the vision of the Semantic Grid.

Cite as

York Sure, Carole Goble, and Carl Kesselman. 05271 Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{sure_et_al:DagSemProc.05271.3,
  author =	{Sure, York and Goble, Carole and Kesselman, Carl},
  title =	{{05271 Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.3},
  URN =		{urn:nbn:de:0030-drops-3932},
  doi =		{10.4230/DagSemProc.05271.3},
  annote =	{Keywords: Semantic Grid, Semantic Web, Grid, Web Services, Agents, Peer-To-Peer}
}
Document
A Brief History of the Semantic Grid

Authors: David De Roure

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
The story of the Semantic Grid, from its originas in the UK eScience programme in 2001 through to the Dagstuhl event in 2005.

Cite as

David De Roure. A Brief History of the Semantic Grid. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{deroure:DagSemProc.05271.4,
  author =	{De Roure, David},
  title =	{{A Brief History of the Semantic Grid}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.4},
  URN =		{urn:nbn:de:0030-drops-3986},
  doi =		{10.4230/DagSemProc.05271.4},
  annote =	{Keywords: Semantic Grid}
}
Document
Digital Library and Data Grid Technology Group

Authors: Reagan W. Moore

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
Digital libraries and data grids manage state information about data collections. This is in contrast to the management of semantic information used for discovery that is provided by semantic web technology. The discussion group investigated the types of inferences and relationship management that would improve digital library and grid services. Notable examples include management of relationships discovered by data mining services, management of properties associated with grid name spaces, and management of properties associated with encoding format structure descriptions.

Cite as

Reagan W. Moore. Digital Library and Data Grid Technology Group. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{moore:DagSemProc.05271.5,
  author =	{Moore, Reagan W.},
  title =	{{Digital Library and Data Grid Technology Group}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.5},
  URN =		{urn:nbn:de:0030-drops-3906},
  doi =		{10.4230/DagSemProc.05271.5},
  annote =	{Keywords: Digital library, data grid, persistent archive, encoding format, semantic web}
}
Document
Modeling Services for the Semantic Grid

Authors: Axel Polleres, Ioan Toma, and Dieter Fensel

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
The Grid has emerged as a new distributed computing infrastructure for ad- vanced science and engineering aiming at enabling sharing of resources and infor- mation towards coordinated problem solving in dynamic environments. Research in Grid Computing and Web Services has recently converged in what is known as the Web Service Resource Framework. While Web Service technologies and standards such as SOAP and WSDL provide the syntactical basis for communi- cation in this framework, a service oriented grid architecture for communication has been defined in the Open Grid Service architecture. Wide agreement that a flexible service Grid is not possible without support by Semantic technologies has lead to the term "Semantic Grid" which is at the moment only vaguely defined. In our ongoing work on the Web Service Modeling Ontology (WSMO) we so far concentrated on the semantic description of Web services with respect to applications in Enterprise Application Integration and B2B integration sce- narios. Although the typical application areas of Semantic Web services have slightly different requirements than the typical application scenarios in the Grid a big overlap justifies the assumption that most research results in the Semantic Web Services area can be similarly applied in the Semantic Grid. The present abstract summarizes the authors view on how to fruitfully in- tegrate Semantic Web service technologies around WSMO/WSML and WSMX and Grid technologies in a Semantic Service Grid and gives an outlook on further possible directions and research. The reminder of this abstract is structured as follows. After giving a short overview of the current Grid Service architecture and its particular requirements, we shortly review the basic usage tasks for Semantic Web services. We then point out how these crucial tasks of Semantic Web services are to be addressed by WSMO. In turn, we try to analyze which special requirements for Semantic Web Services arise with respect to the Grid. We conclude by giving an outlook on the limitations of current Semantic Web services technologies and how we plan to address these in the future in a common Framework for Semantic Grid services.

Cite as

Axel Polleres, Ioan Toma, and Dieter Fensel. Modeling Services for the Semantic Grid. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{polleres_et_al:DagSemProc.05271.6,
  author =	{Polleres, Axel and Toma, Ioan and Fensel, Dieter},
  title =	{{Modeling Services for the Semantic Grid}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.6},
  URN =		{urn:nbn:de:0030-drops-3944},
  doi =		{10.4230/DagSemProc.05271.6},
  annote =	{Keywords: Semantic Web Services, WSMO}
}
Document
Negotiating Trust on the Grid

Authors: Jim Basney, Wolfgang Nejdl, Daniel Olmedilla, Von Welch, and Marianne Winslett

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
Grids support dynamically evolving collections of resources and users, usually spanning multiple administrative domains. The dynamic and crossorganizational aspects of Grids introduce challenging management and policy issues for controlling access to Grid resources. In this paper we show how to extend the Grid Security Infrastructure to provide better support for the dynamic and cross-organizational aspects of Grid activities, by adding facilities for dynamic establishment of trust between parties. We present the PeerTrust language for access control policies, which is based on guarded distributed logic programs, and show how to use PeerTrust to model common Grid trust needs.

Cite as

Jim Basney, Wolfgang Nejdl, Daniel Olmedilla, Von Welch, and Marianne Winslett. Negotiating Trust on the Grid. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{basney_et_al:DagSemProc.05271.7,
  author =	{Basney, Jim and Nejdl, Wolfgang and Olmedilla, Daniel and Welch, Von and Winslett, Marianne},
  title =	{{Negotiating Trust on the Grid}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.7},
  URN =		{urn:nbn:de:0030-drops-3872},
  doi =		{10.4230/DagSemProc.05271.7},
  annote =	{Keywords: Trust, policy, negotiation}
}
Document
ODESGS, an Environment for the Annotation and Design of Grid Environments

Authors: Asuncion Gomez-Perez and Rafael González-Cabero

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
ODESGS is an ongoing work carried out in the Ontogrid Project (FP6-511513). It is the extension of the ODESWS Environment [1] developed in the context of the Esperonto Project (IST-2001-34372) and is an implementation of the ODESGS Framework [2]. This framework is being developed for the markup of Grid Services (GS) and creation of new complex Semantic Grid Services (SGS) from these annotated GS, to enable their discovery and (semi)automatic composition. It also formalizes Virtual Organizations (VO) with it, defined, since the appearance of OGSA, as a set of the services that are operated and shared. Therefore, VO description is closely attached to the descriptions made to each GS individually, plus additional information about the relationships and policies between these services. Note that what we mean as markup of VO and SGS is the association of these elements with an instance of the ODESGS Ontology.

Cite as

Asuncion Gomez-Perez and Rafael González-Cabero. ODESGS, an Environment for the Annotation and Design of Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gomezperez_et_al:DagSemProc.05271.8,
  author =	{Gomez-Perez, Asuncion and Gonz\'{a}lez-Cabero, Rafael},
  title =	{{ODESGS, an Environment for the Annotation and Design of Grid Environments}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.8},
  URN =		{urn:nbn:de:0030-drops-3884},
  doi =		{10.4230/DagSemProc.05271.8},
  annote =	{Keywords: Semantic Grid Services}
}
Document
Ontology Access Provisioning in Grid Environments

Authors: Miguel Esteban Gutiérrez and Asuncion Gomez-Perez

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
The increase of use of semantic technologies has reached almost every computer science related field, including the grid computing field . The next generation Grid should virtualise the notion of distribution in computation, storage, and communication over unlimited resources with well defined computational semantics. A Grid node may provide new services, functions or even new concepts that are unknown to clients. The semantics of such services are defined by means of Ontologies [Gruber, 1993; Gómez-Pérez et al., 2003]. Thus providing the appropriate means for accessing and using Ontologies in the Grid is fundamental if semantic technologies are to be used. So, the transition from monolithic, centralized ontology services to a virtual organization of Grid compliant and Grid aware ontology services that can coordinate and cooperate with each other is crucial to progress towards the Semantic Grid [De Roure et al., 2005].

Cite as

Miguel Esteban Gutiérrez and Asuncion Gomez-Perez. Ontology Access Provisioning in Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gutierrez_et_al:DagSemProc.05271.9,
  author =	{Guti\'{e}rrez, Miguel Esteban and Gomez-Perez, Asuncion},
  title =	{{Ontology Access Provisioning in Grid Environments}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.9},
  URN =		{urn:nbn:de:0030-drops-3832},
  doi =		{10.4230/DagSemProc.05271.9},
  annote =	{Keywords: Ontology Access, WS-DAIO}
}
Document
Semantic Grid Roadmap

Authors: Ziga Turk

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
Conclusion: While the first level of information systems was built to assist humans in real world processes, the increasing complexity of the ITC infrastructures calls for a second level of information systems that will assist in making a better use of ITC. All business process roadmaps are foreseeing a strong role of ICT in the future. Semantic grid has a potential to be a highway in these roadmaps or a dead end into which substantial effort will be placed, but that will not address the needs of the users. We will not know, unless we try it out, looking carefully at the technology pull in some areas and applying the technology push if a breakthrough seems possible.

Cite as

Ziga Turk. Semantic Grid Roadmap. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{turk:DagSemProc.05271.12,
  author =	{Turk, Ziga},
  title =	{{Semantic Grid Roadmap}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.12},
  URN =		{urn:nbn:de:0030-drops-3910},
  doi =		{10.4230/DagSemProc.05271.12},
  annote =	{Keywords: Technology roadmapping, requirements analysis, work flow, interoperability}
}
  • Refine by Author
  • 3 Goble, Carole
  • 3 Sure, York
  • 2 Gomez-Perez, Asuncion
  • 2 Kesselman, Carl
  • 2 Moore, Reagan W.
  • Show More...

  • Refine by Classification
  • 1 Theory of computation → Design and analysis of algorithms

  • Refine by Keyword
  • 3 Semantic Grid
  • 2 Agents
  • 2 Grid
  • 2 Peer-To-Peer
  • 2 Semantic Web
  • Show More...

  • Refine by Type
  • 20 document

  • Refine by Publication Year
  • 15 2005
  • 3 2006
  • 1 2014
  • 1 2019

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