Filter your results
- 35
- 6
- 34
- 7
- 41
- 2
- 2
- 1
- 1
- 2
- 3
- 6
- 6
- 3
- 8
- 9
- 41
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
41 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
|
||
|
An Investigation into Facebook Friend Grouping13th 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
|
||
|
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
|
||
|
Remote Context Monitoring of Actions and Behaviors in a Location Through the Usage of 3D Visualization in Real-Time9th 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
|
||
|
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.119-130, ⟨10.1007/978-3-642-16256-5_13⟩
Conference papers
hal-01055392v1
|
||
|
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
|
||
|
Epidemic Spread in Mobile Ad Hoc Networks: Determining the Tipping Point10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.266-280, ⟨10.1007/978-3-642-20757-0_21⟩
Conference papers
hal-01583416v1
|
||
|
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
|
||
|
Computing the Death Rate of COVID-191st 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
|
||
|
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
|
||
|
Event-Based Data Collection Engine for Serious Games9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.294-301, ⟨10.1007/978-3-642-15399-0_30⟩
Conference papers
hal-01055631v1
|
||
|
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
|
||
|
Fluxion: An Innovative Fluid Dynamics Game on Multi-touch Handheld Device9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.437-439, ⟨10.1007/978-3-642-15399-0_53⟩
Conference papers
hal-01055609v1
|
||
|
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
|
||
|
Understanding Domain Registration Abuses25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.68-79, ⟨10.1007/978-3-642-15257-3_7⟩
Conference papers
hal-01054502v1
|
||
|
Improving Computer Security Dialogs13th 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
|
||
|
MindMiner: A Mixed-Initiative Interface for Interactive Distance Metric Learning15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.611-628, ⟨10.1007/978-3-319-22668-2_47⟩
Conference papers
hal-01599869v1
|
||
ICT Systems Security and Privacy ProtectionSpringer, 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
|
|||
|
Improving Users’ Consistency When Recalling Location Sharing Preferences13th 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
|
||
|
Advances in Software Engineering TechniquesSpringer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books
hal-01527391v1
|
||
|
Project Sonology: An Experimental Project Exploring the Possibilities of Sound and Audio as the Primary Element of Interactive Entertainment9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.431-433, ⟨10.1007/978-3-642-15399-0_51⟩
Conference papers
hal-01055611v1
|
||
|
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
|
||
|
“Roger that!” — The Value of Adding Social Feedback in Audio-Mediated Communications14th 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
|
- 1
- 2