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

Related topics

Related topics

2 relations
Operating systemUnix

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
PackUp: Tools for Package Upgradability Solving
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
Provenance views for module privacy
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
Abstraction-Based Algorithm for 2QBF
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
On Improving MUS Extraction Algorithms
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
Formal verification of a theory of packages
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
Solving Linux Upgradeability Problems Using Boolean Optimization
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
Using strong conflicts to detect quality issues in component-based complex systems
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
Towards a Model Driven Approach to Upgrade Complex Software Systems
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
Solving package dependencies: from EDOS to Mancoosi
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
Description of the CUDF Format
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE