MANCOOSI - PDFSEARCH.IO - Document Search Engine

MANCOOSI
Results: 71

#	Item
1	Upgrade description formats: generalities and DUDF submission format Ralf Treinen Stefano Zacchiroli Technical Report 001 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41
2	Transactional Upgrade Rollback: the DSL approach Work Packages 3 and 2 Nature : Technical Report 004 Version : 1.01 Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:41
3	Bits for the Mancoosi project yeah, including “visualizing package clusters” :-) Stefano Zacchiroli zack@{pps.jussieu.fr,debian.org} Laboratoire PPS, Université Paris Diderot / The Debian Project Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:55
4	Metamodel for Describing System Structure and State Deliverable 2.1 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:41
5	Ann Math Artif Intell DOIs10472Boolean lexicographic optimization: algorithms & applications Joao Marques-Silva · Josep Argelich · Ana Graça · Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:55
6	Research challenges from Free Software distributions Roberto Di Cosmo Universit´ e Paris Diderot and INRIA Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:55
7	Beernet: A Relaxed Approach to the Design of Scalable Systems with Self-Managing Behaviour and Transactional Robust Storage Boris Mejías Candia Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:55
8	Managing dependent changes in coupled evolution? Antonio Cicchetti1 , Davide Di Ruscio2 , and Alfonso Pierantonio2 1 School of Innovation, Design and Engineering M¨alardalen University, Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:55
9	39th International Symposium on Multiple-Valued Logic Regular Encodings from Max-CSP into Partial Max-SAT∗ Josep Argelich INESC-ID Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:55
10	Converting Eclipse metadata into CUDF Technical Report TR5.3 Nature : Technical Report Due date : Delivery Date: Start date of project : Add to Reading List Source URL: www.mancoosi.org - Date: 2012-12-16 04:54:41