Filter your results
- 12
- 12
- 12
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 12
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 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
12 results
|
|
sorted by
|
|
Abstract Privacy Policy Framework: Addressing Privacy Problems in SOAInternational Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.104-118, ⟨10.1007/978-3-642-27585-2_9⟩
Conference papers
hal-01481510v1
|
||
|
Primal Infon Logic with Conjunctions as Sets8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩
Conference papers
hal-01402046v1
|
||
|
What Do You See in the Cloud? Understanding the Cloud-Based User Experience through Practices14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.678-695, ⟨10.1007/978-3-642-40480-1_47⟩
Conference papers
hal-01501781v1
|
||
|
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩
Conference papers
hal-01055253v1
|
||
|
The Costs and Benefits of Combining Gaze and Hand Gestures for Remote Interaction15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.570-577, ⟨10.1007/978-3-319-22698-9_39⟩
Conference papers
hal-01609399v1
|
||
|
The Future of Distributed Groups and Their Use of Social Media13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.2-2, ⟨10.1007/978-3-642-23774-4_2⟩
Conference papers
hal-01590539v1
|
||
|
Helping Users Sort Faster with Adaptive Machine Learning Recommendations13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.187-203, ⟨10.1007/978-3-642-23765-2_13⟩
Conference papers
hal-01591827v1
|
||
|
Sharing Experiences over Video: Watching Video Programs together at a Distance14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.73-90, ⟨10.1007/978-3-642-40498-6_5⟩
Conference papers
hal-01510557v1
|
||
|
Measure What Matters: A Dual Outcome Service Quality Model for Government Service Delivery19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.138-150, ⟨10.1007/978-3-030-57599-1_11⟩
Conference papers
hal-03282778v1
|
||
|
Formal Analysis of a Distributed Algorithm for Tracking Progress15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.5-19, ⟨10.1007/978-3-642-38592-6_2⟩
Conference papers
hal-01515239v1
|
||
|
Fmeter: Extracting Indexable Low-Level System Signatures by Counting Kernel Function Calls13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.81-100, ⟨10.1007/978-3-642-35170-9_5⟩
Conference papers
hal-01555553v1
|
||
|
A Targeted Data Extraction System for Mobile Devices15th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2019, Orlando, FL, United States. pp.73-100, ⟨10.1007/978-3-030-28752-8_5⟩
Conference papers
hal-02534613v1
|