Profils utilisateurs correspondant à "Roberto Di Cosmo"
Roberto Di CosmoProfessor of Computer Science, University Paris Diderot Adresse e-mail validée de dicosmo.org Cité 3598 fois |
[LIVRE][B] Le hold-up planétaire: La face cachée de Microsoft
R Di Cosmo, D Nora - 1998 - books.google.com
… Le temps d’écouter Roberto Di Cosmo décortiquer avec brio … Âgé de trente-cinq ans, italien,
Roberto Di Cosmo est … des mortels n’empêche pas Roberto Di Cosmo de faire preuve d’un …
Roberto Di Cosmo est … des mortels n’empêche pas Roberto Di Cosmo de faire preuve d’un …
Managing the complexity of large free and open source package-based software distributions
The widespread adoption of free and open source software (FOSS) in many strategic contexts
of the information technology society has drawn the attention on the issues regarding how …
of the information technology society has drawn the attention on the issues regarding how …
Software heritage: Why and how to preserve software source code
R Di Cosmo, S Zacchiroli - iPRES 2017-14th International Conference …, 2017 - hal.science
Software is now a key component present in all aspects of our society. Its preservation has
attracted growing attention over the past years within the digital preservation community. We …
attracted growing attention over the past years within the digital preservation community. We …
[PDF][PDF] Building the universal archive of source code
JF Abramatic, R Di Cosmo, S Zacchiroli - Communications of the ACM, 2018 - dl.acm.org
… Jean-François Abramatic, Roberto Di Cosmo, and Stefano Zacchiroli … Di Cosmo, R. and
Zacchiroli, S. Software Heritage: Why … Roberto Di Cosmo (roberto@dicosmo.org) is director of …
Zacchiroli, S. Software Heritage: Why … Roberto Di Cosmo (roberto@dicosmo.org) is director of …
Dependency solving: a separate concern in component evolution management
P Abate, R Di Cosmo, R Treinen, S Zacchiroli - Journal of Systems and …, 2012 - Elsevier
Maintenance of component-based software platforms often has to face rapid evolution of
software components. Component dependencies, conflicts, and package managers with …
software components. Component dependencies, conflicts, and package managers with …
[HTML][HTML] Aeolus: A component model for the cloud
We introduce the Aeolus component model, which is specifically designed to capture
realistic scenarios arising when configuring and deploying distributed applications in the so-called …
realistic scenarios arising when configuring and deploying distributed applications in the so-called …
Strong dependencies between software components
P Abate, R Di Cosmo, J Boender… - 2009 3rd International …, 2009 - ieeexplore.ieee.org
Component-based systems often describe context requirements in terms of explicit inter-component
dependencies. Studying large instances of such systems - such as free and open …
dependencies. Studying large instances of such systems - such as free and open …
Provable isomorphisms of types
K Bruce, R Di Cosmo, G Longo - Mathematical Structures in …, 1992 - ens.hal.science
A constructive characterization is given of the isomorphisms which must hold in all models of
the typed lambda calculus with surjective pairing. Using the close relation between closed …
the typed lambda calculus with surjective pairing. Using the close relation between closed …
Why do software packages conflict?
Determining whether two or more packages cannot be installed together is an important issue
in the quality assurance process of package-based distributions. Unfortunately, the sheer …
in the quality assurance process of package-based distributions. Unfortunately, the sheer …
Package upgrades in FOSS distributions: Details and challenges
The upgrade problems faced by Free and Open Source Software distributions have
characteristics not easily found elsewhere. We describe the structure of packages and their role in …
characteristics not easily found elsewhere. We describe the structure of packages and their role in …