Search - IFIP Open Digital Library Access content directly

Filter your results

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

Manifestly Phased Communication via Shared Session Types

 Chuta Sano , Stephanie Balzer , Frank Pfenning
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
Conference papers hal-03387824v1
Image document

Computing the Death Rate of COVID-19

 Naveen Pai , Sean Zhang , Mor Harchol-Balter
1st International Conference on Computer Science Protecting Human Society Against Epidemics (ANTICOVID), Jun 2021, Virtual, Poland. pp.77-94, ⟨10.1007/978-3-030-86582-5_8⟩
Conference papers hal-03746673v1
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

OSSpal: Finding and Evaluating Open Source Software

 Anthony I. Wasserman , Xianzheng Guo , Blake Mcmillian , Kai Qian , Ming-Yu Wei , et al.
13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.193-203, ⟨10.1007/978-3-319-57735-7_18⟩
Conference papers hal-01776268v1
Image document

Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing

 João Rodrigues , Joaquim Silva , Rolando Martins , Luís Lopes , Utsav Drolia , et al.
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.96-108, ⟨10.1007/978-3-319-39577-7_8⟩
Conference papers hal-01434803v1
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

MindMiner: A Mixed-Initiative Interface for Interactive Distance Metric Learning

 Xiangmin Fan , Youming Liu , Nan Cao , Jason Hong , Jingtao Wang
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.611-628, ⟨10.1007/978-3-319-22668-2_47⟩
Conference papers hal-01599869v1
Image document

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

 Edmund Lam , Iliano Cervesato , Nabeeha Fatima
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.51-66, ⟨10.1007/978-3-319-19282-6_4⟩
Conference papers hal-01774944v1

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

Analysis of the Use of XOR as an Obfuscation Technique in a Real Data Corpus

 Carolina Zarate , Simson Garfinkel , Aubin Heffernan , Scott Horras , Kyle Gorak
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.117-132, ⟨10.1007/978-3-662-44952-3_9⟩
Conference papers hal-01393766v1

ICT Systems Security and Privacy Protection

 Nora Cuppens-Boulahia , Frédéric Cuppens , Sushil Jajodia , Anas Abou El Kalam , Thierry Sans
Springer, AICT-428, 2014, IFIP Advances in Information and Communication Technology, 978-3-642-55414-8. ⟨10.1007/978-3-642-55415-5⟩
Books hal-01370409v1
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

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

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
Image document

Styx: Design and Evaluation of a New Privacy Risk Communication Method for Smartphones

 Gökhan Bal , Kai Rannenberg , Jason Hong
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakech, Morocco. pp.113-126, ⟨10.1007/978-3-642-55415-5_10⟩
Conference papers hal-01370359v1
Image document

A Consilience-Based Approach to Engineering Services in Global Supply Chains

 Eswaran Subrahmanian , Albert Jones
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.334-343, ⟨10.1007/978-3-642-41266-0_41⟩
Conference papers hal-01452133v1
Image document

“Roger that!” — The Value of Adding Social Feedback in Audio-Mediated Communications

 Rahul Rajan , Joey Hsiao , Deven Lahoti , Ted Selker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.471-488, ⟨10.1007/978-3-642-40498-6_37⟩
Conference papers hal-01510536v1
Image document

Repertoires of Collaboration for Disaster Management: Negotiating Emergent and Dynamic Systems Success

 Deborah Bunker , Linda Levine , Carol Woody
InternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.21-38, ⟨10.1007/978-3-642-38862-0_2⟩
Conference papers hal-01467828v1
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

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
Image document

Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol

 Rolando Martins , Rajeev Gandhi , Priya Narasimhan , Soila Pertet , António Casimiro , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.41-61, ⟨10.1007/978-3-642-45065-5_3⟩
Conference papers hal-01480791v1

Advances in Software Engineering Techniques

 David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , et al.
Springer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books hal-01527391v1
Image document

SOFTScale: Stealing Opportunistically for Transient Scaling

 Anshul Gandhi , Timothy Zhu , Mor Harchol-Balter , Michael A. Kozuch
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.142-163, ⟨10.1007/978-3-642-35170-9_8⟩
Conference papers hal-01555559v1

Middleware 2012

 Priya Narasimhan , Peter Triantafillou
Springer, LNCS-7662, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-35170-9⟩
Books hal-01555540v1
Image document

Improving Users’ Consistency When Recalling Location Sharing Preferences

 Jayant Venkatanathan , Denzil Ferreira , Michael Benisch , Jialiu Lin , Evangelos Karapanos , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.380-387, ⟨10.1007/978-3-642-23774-4_31⟩
Conference papers hal-01590540v1
Image document

Enterprise Interoperability

 Will van Der Aalst , John Mylopoulos , Norman M. Sadeh , Michael J. Shaw , Clemens Szyperski , et al.
Springer, LNBIP-076, 2011, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-642-19680-5⟩
Books hal-01572092v1

Open Source Systems: Grounding Research

 Scott A. Hissam , Barbara Russo , Manoel Mendonça Neto , Fabio Kon
Springer, AICT-365, 2011, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-24418-6⟩
Books hal-01570747v1
Image document

Epidemic Spread in Mobile Ad Hoc Networks: Determining the Tipping Point

 Nicholas C. Valler , B. Aditya Prakash , Hanghang Tong , Michalis Faloutsos , Christos Faloutsos
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.266-280, ⟨10.1007/978-3-642-20757-0_21⟩
Conference papers hal-01583416v1
Image document

Developing Architectural Documentation for the Hadoop Distributed File System

 Len Bass , Rick Kazman , Ipek Ozkaya
9th Open Source Software (OSS), Oct 2011, Salvador, Brazil. pp.50-61, ⟨10.1007/978-3-642-24418-6_4⟩
Conference papers hal-01570748v1
Image document

Improving Computer Security Dialogs

 Cristian Bravo-Lillo , Lorrie Faith Cranor , Julie Downs , Saranga Komanduri , Manya Sleeper
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.18-35, ⟨10.1007/978-3-642-23768-3_2⟩
Conference papers hal-01596947v1
Page :