Search - IFIP Open Digital Library Access content directly

Filter your results

41 results
Structure: Internal structure identifier : 67135
Page :
sorted by
Image document

Why Do People Give Up FLOSSing? A Study of Contributor Disengagement in Open Source

 Courtney Miller , David Gray Widder , Christian Kästner , Bogdan Vasilescu
15th IFIP International Conference on Open Source Systems (OSS), May 2019, Montreal, QC, Canada. pp.116-129, ⟨10.1007/978-3-030-20883-7_11⟩
Conference papers hal-02305702v1
Image document

A Program Logic for Verifying Secure Routing Protocols

 Chen Chen , Limin Jia , Hao Xu , Cheng Luo , Wenchao Zhou , et al.
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.117-132, ⟨10.1007/978-3-662-43613-4_8⟩
Conference papers hal-01398011v1
Image document

Analyzing BGP Instances in Maude

 Anduo Wang , Carolyn Talcott , Limin Jia , Boon Thau Loo , Andre Scedrov
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.334-348, ⟨10.1007/978-3-642-21461-5_22⟩
Conference papers hal-01583330v1
Image document

An Investigation into Facebook Friend Grouping

 Patrick Gage Kelley , Robin Brewer , Yael Mayer , Lorrie Faith Cranor , Norman Sadeh
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.216-233, ⟨10.1007/978-3-642-23765-2_15⟩
Conference papers hal-01591834v1
Image document

The Future of Open Source Research: A Panel Discussion

 Kevin Crowston , Joseph Feller , Carl-Eric Mols , Anthony I. Wasserman
12th IFIP International Conference on Open Source Systems (OSS), May 2016, Gothenburg, Sweden. pp.201-203, ⟨10.1007/978-3-319-39225-7⟩
Conference papers hal-01369110v1
Image document

Remote Context Monitoring of Actions and Behaviors in a Location Through the Usage of 3D Visualization in Real-Time

 John Conomikes , Zachary Pacheco , Salvador Barrera , Juan Antonio Cantu , Lucy Beatriz Gomez , et al.
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.476-478, ⟨10.1007/978-3-642-15399-0_64⟩
Conference papers hal-01059018v1

Open Source Software: Mobile Open Source Technologies

 Luis Corral , Alberto Sillitti , Giancarlo Succi , Jelena Vlasenko , Anthony I. Wasserman
Springer, AICT-427, 2014, IFIP Advances in Information and Communication Technology, 978-3-642-55127-7. ⟨10.1007/978-3-642-55128-4⟩
Books hal-01373123v1
Image document

A Smart Memory Accelerated Computed Tomography Parallel Backprojection

 Qiuling Zhu , Larry Pileggi , Franz Franchettis
20th International Conference on Very Large Scale Integration (VLSI-SoC), Aug 2012, Santa Cruz, CA, United States. pp.21-44, ⟨10.1007/978-3-642-45073-0_2⟩
Conference papers hal-01456960v1
Image document

An Effective Initialization for ASM-Based Methods

 Hong-Quan Hua , T. Ngan Le , Bac Le
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.421-432, ⟨10.1007/978-3-662-45237-0_39⟩
Conference papers hal-01405618v1

Open Source Systems: Adoption and Impact

 Ernesto Damiani , Fulvio Frati , Dirk Riehle , Anthony I. Wasserman
Springer, AICT-451, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-17836-3. ⟨10.1007/978-3-319-17837-0⟩
Books hal-01320179v1
Image document

Beyond Rhetoric to Poetics in IT Invention

 Annie Gentes , Ted Selker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.267-279, ⟨10.1007/978-3-642-40477-1_17⟩
Conference papers hal-01504889v1
Page :