Filter your results
- 6
- 6
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 results
|
|
|
sorted by
|
|
|
Towards the Description and Execution of Transitions in Networked Systems9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.17-29, ⟨10.1007/978-3-319-20034-7_2⟩
Conference papers
hal-01410138v1
|
||
|
|
Supporting Social Protocols in Tabletop Interaction through Visual Cues13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.435-442, ⟨10.1007/978-3-642-23765-2_30⟩
Conference papers
hal-01591825v1
|
||
|
|
Robust Resampling Detection in Digital Images13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.3-15, ⟨10.1007/978-3-642-32805-3_1⟩
Conference papers
hal-01540903v1
|
||
|
|
Data Corpora for Digital Forensics Education and Research10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.309-325, ⟨10.1007/978-3-662-44952-3_21⟩
Conference papers
hal-01393787v1
|
||
|
|
Detecting Resized Double JPEG Compressed Images – Using Support Vector Machine14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.113-122, ⟨10.1007/978-3-642-40779-6_9⟩
Conference papers
hal-01492837v1
|
||
|
|
A Type Theory for Robust Failure Handling in Distributed Systems36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.96-113, ⟨10.1007/978-3-319-39570-8_7⟩
Conference papers
hal-01432930v1
|