Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,588,373 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
2 relations
Operating system
Unix
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Provenance views for module privacy
S. Davidson
,
S. Khanna
,
T. Milo
,
Debmalya Panigrahi
,
Sudeepa Roy
PODS
2011
Corpus ID: 504324
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as…
Expand
2011
2011
Formal verification of a theory of packages
J. Boender
Electron. Commun. Eur. Assoc. Softw. Sci. Technol…
2011
Corpus ID: 13199482
Over the years, open source distributions have become increasingly largeand complex—as an example, the latest Debian distribution…
Expand
Highly Cited
2011
Highly Cited
2011
Abstraction-Based Algorithm for 2QBF
Mikoláš Janota
,
Joao Marques-Silva
SAT
2011
Corpus ID: 15811069
Quantified Boolean Formulas (QBFs) enable standard representation of PSPACE problems. In particular, formulas with two quantifier…
Expand
Highly Cited
2011
Highly Cited
2011
On Improving MUS Extraction Algorithms
Joao Marques-Silva
,
I. Lynce
SAT
2011
Corpus ID: 118371
Minimally Unsatisfiable Subformulas (MUS) find a wide range of practical applications, including product configuration, knowledge…
Expand
2011
2011
Capabilities of Constraint Programming in Safe Global Optimization
A. Goldsztejn
,
Yahia Lebbah
,
C. Michel
,
M. Rueher
Reliab. Comput.
2011
Corpus ID: 9993667
We investigate the capabilities of constraints programming techniques in rigorous global optimization methods. We introduce…
Expand
2011
2011
Modeling the performance of ring based DHTs in the presence of network address translators
John Ardelius
,
B. Mejías
DAIS'11
2011
Corpus ID: 1967487
Dealing with Network Address Translators (NATs) is a central probleminmany peer-to-peer applications on the Internet today…
Expand
Highly Cited
2010
Highly Cited
2010
Solving Linux Upgradeability Problems Using Boolean Optimization
Josep Argelich
,
Daniel Le Berre
,
I. Lynce
,
Joao Marques-Silva
,
Pascal Rapicault
LoCoCo
2010
Corpus ID: 17262167
Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures…
Expand
2010
2010
Using strong conflicts to detect quality issues in component-based complex systems
R. D. Cosmo
,
J. Boender
ISEC
2010
Corpus ID: 1793962
The mainstream adoption of free and open source software (FOSS) has widely popularised notions like software packages or plugins…
Expand
2009
2009
Towards a Model Driven Approach to Upgrade Complex Software Systems
A. Cicchetti
,
D. D. Ruscio
,
P. Pelliccione
,
A. Pierantonio
,
Stefano Zacchiroli
ENASE
2009
Corpus ID: 6095309
Complex software systems are more and more based on the abstraction of package, brought to popularity by Free and Open Source…
Expand
2008
2008
Change Management in Multi-Viewpoint System Using ASP
Romina Eramo
,
A. Pierantonio
,
J. Romero
,
Antonio Vallecillo
12th Enterprise Distributed Object Computing…
2008
Corpus ID: 327179
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints…
Expand
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