Filter your results
- 14
- 14
- 14
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 3
- 14
- 2
- 1
- 1
- 1
- 1
- 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
14 results
|
|
|
sorted by
|
|
|
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩
Conference papers
hal-01055395v1
|
||
|
|
Smartphone Message Sentiment Analysis10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.253-265, ⟨10.1007/978-3-662-44952-3_17⟩
Conference papers
hal-01393775v1
|
||
|
|
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.56-64, ⟨10.1007/978-3-030-31280-0_4⟩
Conference papers
hal-02526339v1
|
||
|
|
Privacy Visor: Method for Preventing Face Image Detection by Using Differences in Human and Device Sensitivity14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.152-161, ⟨10.1007/978-3-642-40779-6_13⟩
Conference papers
hal-01492817v1
|
||
|
|
Uncertainty in Live Forensics6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.171-184, ⟨10.1007/978-3-642-15506-2_12⟩
Conference papers
hal-01060617v1
|
||
|
|
Injective Objects and Fibered Codensity Liftings15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.112-132, ⟨10.1007/978-3-030-57201-3_7⟩
Conference papers
hal-03232347v1
|
||
|
|
Parametric updates in parametric timed automata39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers
hal-02153238v1
|
||
|
|
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.13-33, ⟨10.1007/978-3-030-00389-0_3⟩
Conference papers
hal-02044649v1
|
||
|
|
Mobile Agents for Digital Signage8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.216-226, ⟨10.1007/978-3-642-16256-5_21⟩
Conference papers
hal-01055384v1
|
||
|
|
Breaking Anonymity of Social Network Accounts by Using Coordinated and Extensible Classifiers Based on Machine Learning15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.455-470, ⟨10.1007/978-3-319-45234-0_41⟩
Conference papers
hal-01702149v1
|
||
|
|
Fibrational Bisimulations and Quantitative Reasoning14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers
hal-01901092v1
|
||
|
|
Regular Expression Learning with Evolutionary Testing and Repair31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.22-40, ⟨10.1007/978-3-030-31280-0_2⟩
Conference papers
hal-02526352v1
|
||
|
|
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers
hal-02044648v1
|
||
|
|
PrivacyTag: A Community-Based Method for Protecting Privacy of Photographed Subjects in Online Social Networks16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.261-275, ⟨10.1007/978-3-319-68557-1_24⟩
Conference papers
hal-01768504v1
|