Zobrazeno 1 - 10
of 92
pro vyhledávání: '"Treinen, Ralf."'
Publikováno v:
In Journal of Computer Languages April 2020 57
Publikováno v:
EPTCS 161, 2014, pp. 189-202
Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which
Externí odkaz:
http://arxiv.org/abs/1408.5966
Publikováno v:
In Journal of Computer and System Sciences September 2019 104:149-164
This volume contains the papers presented at the second international workshop on Logics for Component Configuration (LoCoCo 2011) which was associated with the International Conference on Principles and Practice of Constraint Programming (CP 2011) a
Externí odkaz:
http://arxiv.org/abs/1108.6097
Autor:
Lynce, Inês, Treinen, Ralf
Publikováno v:
EPTCS 29, 2010
This volume contains the papers presented at the first international workshop on Logics for Component Configuration (LoCoCo 2010) which was associated with the International Conference on Theory and Applications of Satisfiability Testing (SAT 2010) a
Externí odkaz:
http://arxiv.org/abs/1007.0831
Autor:
Treinen, Ralf, Zacchiroli, Stefano
Publikováno v:
IWOCE 2009: 1st international workshop on Open component ecosystems, Amsterdam : Netherlands (2009)
State of the art component-based software collections - such as FOSS distributions - are made of up to dozens of thousands components, with complex inter-dependencies and conflicts. Given a particular installation of such a system, each request to al
Externí odkaz:
http://arxiv.org/abs/0909.5091
Autor:
Treinen, Ralf, Zacchiroli, Stefano
This document contains several related specifications, together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: - DUDF (Distribution Upgradeability Desc
Externí odkaz:
http://arxiv.org/abs/0811.3621
Autor:
Treinen, Ralf, Zacchiroli, Stefano
Publikováno v:
DebConf8, Argentine (2008)
Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union for addressing some of the challenges related to the "upgrade problem" of interdependent software components of which Deb
Externí odkaz:
http://arxiv.org/abs/0811.3620
Publikováno v:
In Information and Computation April 2017 253 Part 2:304-335