Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

MANCOOSI

The consortium MANCOOSI (MANaging the COmplexity of the Open Source Infrastructure) is a project financed by the European Union that focuses on the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
This paper presents PackUp (PACKage UPgradability with Boolean formulations) a framework for solving the the software package… Expand
  • figure 1
  • table 1
Is this relevant?
2011
2011
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Quantified Boolean Formulas (QBFs) enable standard representation of PSPACE problems. In particular, formulas with two quantifier… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Minimally Unsatisfiable Subformulas (MUS) find a wide range of practical applications, including product configuration, knowledge… Expand
  • figure 1
  • table 2
  • figure 2
Is this relevant?
2011
2011
Over the years, open source distributions have become increasingly large and complex—as an example, the latest Debian… Expand
  • figure 1
Is this relevant?
2010
2010
Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
2010
2010
The mainstream adoption of free and open source software (FOSS) has widely popularised notions like software packages or plugins… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
Is this relevant?
2009
2009
Complex software systems are more and more based on the abstraction of package, brought to popularity by Free and Open Source… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Review
2008
Review
2008
Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
This document contains several related specifications, together they describe the document formats related to the solver… Expand
  • figure 1.1
  • figure 2.1
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?