Filter your results
- 17
- 4
- 17
- 4
- 21
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 21
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
21 results
|
|
sorted by
|
|
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles17th 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
|
||
|
Why Do People Give Up FLOSSing? A Study of Contributor Disengagement in Open Source15th 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
|
||
|
A Program Logic for Verifying Secure Routing Protocols34th 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
|
||
|
Analyzing BGP Instances in Maude13th 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
|
||
|
The Future of Open Source Research: A Panel Discussion12th 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
|
||
|
Analysis of the Use of XOR as an Obfuscation Technique in a Real Data Corpus10th 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
|
||
|
Open Source Systems: Grounding ResearchSpringer, AICT-365, 2011, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-24418-6⟩
Books
hal-01570747v1
|
||
|
Toward an Understanding of the Evolution of IFIP WG 8.6 ResearchIFIP WG 8.2/8.6 InternationalWorking Conference on Human Benefit through the Diffusion of Information Systems Design Science Research, Mar 2010, Perth, Australia. pp.225-242, ⟨10.1007/978-3-642-12113-5_14⟩
Conference papers
hal-01060403v1
|
||
|
Middleware 2012Springer, LNCS-7662, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-35170-9⟩
Books
hal-01555540v1
|
||
|
Developing Architectural Documentation for the Hadoop Distributed File System9th Open Source Software (OSS), Oct 2011, Salvador, Brazil. pp.50-61, ⟨10.1007/978-3-642-24418-6_4⟩
Conference papers
hal-01570748v1
|
||
|
Manifestly Phased Communication via Shared Session Types23th 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
|
||
|
A Consilience-Based Approach to Engineering Services in Global Supply Chains20th 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
|
||
|
OSSpal: Finding and Evaluating Open Source Software13th 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
|
||
|
Design of a Template for Handwriting Based Hindi Text Entry in Handheld DevicesSecond IFIP WG 13.6 Conference on Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts (HWID), Oct 2009, Pune, India. pp.132-143, ⟨10.1007/978-3-642-11762-6_11⟩
Conference papers
hal-01056247v1
|
||
|
SOFTScale: Stealing Opportunistically for Transient Scaling13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.142-163, ⟨10.1007/978-3-642-35170-9_8⟩
Conference papers
hal-01555559v1
|
||
Open Source Software: Mobile Open Source TechnologiesSpringer, 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
|
|||
|
A Smart Memory Accelerated Computed Tomography Parallel Backprojection20th 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
|
||
|
Open Source Systems: Adoption and ImpactSpringer, 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
|
||
|
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.41-61, ⟨10.1007/978-3-642-45065-5_3⟩
Conference papers
hal-01480791v1
|
||
|
Repertoires of Collaboration for Disaster Management: Negotiating Emergent and Dynamic Systems SuccessInternationalWorking 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
|
||
|
Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing16th 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
|