Filter your results
- 18
- 1
- 16
- 2
- 1
- 19
- 2
- 1
- 4
- 5
- 2
- 3
- 1
- 1
- 19
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 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
19 results
|
|
sorted by
|
|
Root Cause Analysis of Reduced Accessibility in 4G Networks2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.117-133, ⟨10.1007/978-3-030-45778-5_9⟩
Conference papers
hal-03266468v1
|
||
|
A Framework for Enforcing User-Based Authorization Policies on Packet Filter Firewalls13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.204-206, ⟨10.1007/978-3-642-32805-3_20⟩
Conference papers
hal-01540897v1
|
||
|
An iTV Prototype for Content UnificationEsteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.293-296, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_32⟩
Conference poster
hal-02128588v1
|
||
|
Markov Modulated Bi-variate Gaussian Processes for Mobility Modeling and Location Prediction10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.227-240, ⟨10.1007/978-3-642-20757-0_18⟩
Conference papers
hal-01583408v1
|
||
|
Communications and Multimedia SecuritySpringer, LNCS-8735, 2014, Lecture Notes in Computer Science, 978-3-662-44884-7. ⟨10.1007/978-3-662-44885-4⟩
Books
hal-01404210v1
|
||
|
Taming Hierarchical Connectors8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.186-193, ⟨10.1007/978-3-030-31517-7_13⟩
Conference papers
hal-03769113v1
|
||
|
Designing Entertainment for the Aging Population17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.345-348, ⟨10.1007/978-3-319-99426-0_42⟩
Conference papers
hal-02128592v1
|
||
|
Logics for Petri Nets with Propagating Failures8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.145-157, ⟨10.1007/978-3-030-31517-7_10⟩
Conference papers
hal-03769133v1
|
||
|
Introducing Interval Differential Dynamic Logic9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.69-75, ⟨10.1007/978-3-030-89247-0_5⟩
Conference papers
hal-04074513v1
|
||
|
Personal Identification in the Web Using Electronic Identity Cards and a Personal Identity Provider8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.160-169, ⟨10.1007/978-3-662-43826-8_12⟩
Conference papers
hal-01400938v1
|
||
|
Physical Activity Among Older Adults: A Meta-review of EU-Funded Research Projects17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.374-387, ⟨10.1007/978-3-319-99426-0_47⟩
Conference papers
hal-02128608v1
|
||
|
Training Non-designers in Co-design Methods Through an Active Assisted Living Interactive Workshop17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.166-175, ⟨10.1007/978-3-030-29384-0_10⟩
Conference papers
hal-02544583v1
|
||
|
Decentralized Bootstrap for Social Overlay Networks15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.140-143, ⟨10.1007/978-3-662-44885-4_13⟩
Conference papers
hal-01404205v1
|
||
|
Content Unification: A Trend Reshaping the iTV EcosystemEsteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.297-300, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_33⟩
Conference poster
hal-02128632v1
|
||
|
Designing for Aging People17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.719-724, ⟨10.1007/978-3-030-29390-1_69⟩
Conference papers
hal-02878650v1
|
||
|
Asymmetric Combination of Logics is Functorial: A Survey23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers
hal-01767465v1
|
||
|
Intergenerational Joint Media Engagement17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.368-373, ⟨10.1007/978-3-319-99426-0_46⟩
Conference papers
hal-02128601v1
|
||
|
Adding Proof Calculi to Epistemic Logics with Structured Knowledge9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.53-68, ⟨10.1007/978-3-030-89247-0_4⟩
Conference papers
hal-04074528v1
|
||
|
Observational Semantics for Dynamic Logic with Binders23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers
hal-01767472v1
|