MANCOOSI - PDFSEARCH.IO - Document Search Engine

MANCOOSI
Results: 71

#	Item
41	2009 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises Towards a Framework for Distributed and Collaborative Modeling∗ Antonio Cicchetti School of Innovation, De Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software engineering Computing Unified Modeling Language Software ISO standards Systems engineering Integrated development environments Architecture description language XML Metadata Interchange Object Process Methodology Conceptual model MagicDraw
42	Lock-Free Decentralized Storage for Transactional Upgrade Rollback∗ Boris Mej´ıas, Gustavo Guti´errez, Peter Van Roy Universit´e catholique de Louvain Abstract Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Computing Distributed data storage File sharing Concurrent computing Distributed computing Distributed hash table BitTorrent Peer-to-peer Scalability Kademlia Package manager Two-phase commit protocol
43	MPM : a modular package manager∗ Pietro Abate Roberto Di Cosmo Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software System software Computer architecture Dpkg Debian Ubuntu Archive formats SUSE Linux ZYpp Advanced Packaging Tool Package manager Synaptic
44	Supporting Software Evolution in Component-Based FOSS SystemsI Roberto Di Cosmob , Davide Di Ruscioa , Patrizio Pelliccionea , Alfonso Pierantonioa , Stefano Zacchirolib a Universit` a degli Studi dell’Aquila, Dipartim Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Computer architecture System software Software Dpkg Debian Archive formats Ubuntu Package manager Software distribution Arch Linux Deb NixOS
45	Automated co-evolution of GMF editor models Davide Di Ruscio1 , Ralf L¨ammel2 , Alfonso Pierantonio1 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software Computing Eclipse Graphical Modeling Framework Eclipse Modeling Framework Model-driven engineering Graphical Editing Framework GMF Metamodeling Object Process Methodology Conceptual model Entityrelationship model
46	Querying DAG-shaped Execution Traces Through Views Maya Ben-Ari Tova Milo Elad Verbin Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Data management Computing Information science Query optimization SQL Directed acyclic graph Bin Theoretical computer science Database theory Search algorithms Lowest common ancestor Conjunctive query
47	On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Automated theorem proving Logic in computer science Propositional calculus Unsatisfiable core Boolean algebra Resolution Exponential time hypothesis Algorithm Maximum satisfiability problem Boolean satisfiability problem DavisPutnam algorithm
48	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
49	Strong Dependencies between Software Components∗ Pietro Abate Universit`e Paris Diderot, PPS UMR 7126, Paris, France Roberto Di Cosmo Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Archive formats Dpkg Debian Ubuntu Package manager Software distribution Dependency graph RPM Package Manager Arch Linux PEAR Deb Dependency hell
50	Feature Diagrams as Package Dependencies? Roberto Di Cosmo and Stefano Zacchiroli Universit´e Paris Diderot, PPS, UMR 7126, Paris, France , Abstract. FOSS (Free and Open Source Sof Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Package manager Software distribution Debian Arch Linux RPM Package Manager Dependency grammar Software repository

UPDATE