Search - IFIP Open Digital Library

Filter your results

71 results
Structure: Internal structure identifier : 254021
Page :
sorted by
Image document

Adapting Desktop Web Pages for Vocal Browsing

 Fabio Paternò , Christian Sisti
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.628-635, ⟨10.1007/978-3-642-23765-2_42⟩
Conference papers hal-01591799v1
Image document

A Deep Reinforcement Learning Approach for Automated Cryptocurrency Trading

 Giorgio Lucarelli , Matteo Borrotti
15th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2019, Hersonissos, Greece. pp.247-258, ⟨10.1007/978-3-030-19823-7_20⟩
Conference papers hal-02331326v1
Image document

Introduction to Conformal Predictors Based on Fuzzy Logic Classifiers

 A. Murari , Jesús Vega , D. Mazon , T. Courregelongue
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.203-213, ⟨10.1007/978-3-642-33412-2_21⟩
Conference papers hal-01523072v1
Image document

Supporting Transformations across User Interface Descriptions at Various Abstraction Levels

 Mauro Lisai , Fabio Paternò , Carmen Santoro , Lucio Davide Spano
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.608-611, ⟨10.1007/978-3-642-23768-3_94⟩
Conference papers hal-01597015v1
Image document

A 16-Intersection Matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages

 Anna Formica , Mauro Mazzei , Elaheh Pourabbas , Maurizio Rafanelli
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.302-316, ⟨10.1007/978-3-642-32498-7_23⟩
Conference papers hal-01542449v1
Image document

Vibro-Tactile Enrichment Improves Blind User Interaction with Mobile Touchscreens

 Maria Claudia Buzzi , Marina Buzzi , Barbara Leporini , Maria Teresa Paratore
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.641-648, ⟨10.1007/978-3-642-40483-2_45⟩
Conference papers hal-01497468v1
Image document

Robust Optimization Theory for CO2 Emission Control in Collaborative Supply Chains

 Giovanni Felici , Toshiya Kaihara , Giacomo Liotta , Giuseppe Stecca
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.547-556, ⟨10.1007/978-3-319-24141-8_51⟩
Conference papers hal-01437920v1
Image document

Adaptive densification of mobile networks: exploring correlations in vehicular and telecom traffic

 Foroogh Mohammadnia , Marco Fiore , Marco Ajmone Marsan
17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018), Jun 2018, Capri Island, Italy. pp.23-30
Conference papers hal-01832488v1
Image document

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

 Davide Basile , Maurice H. ter Beek , Rosario Pugliese
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
Conference papers hal-02365502v1

Empowering Learners for Life in the Digital Age

 Don Passey , Rosa Bottino , Cathy Lewin , Eric Sanchez
Springer International Publishing, AICT-524, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-23512-3. ⟨10.1007/978-3-030-23513-0⟩
Books hal-02370915v1
Image document

Web Usability Probe: A Tool for Supporting Remote Usability Evaluation of Web Sites

 Tonio Carta , Fabio Paternò , Vagner Santana
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.349-357, ⟨10.1007/978-3-642-23768-3_29⟩
Conference papers hal-01596903v1
Image document

Monodirectional Positioning Using Dielectric Elastomers

 C. Pagano , M. Malosio , I. Fassi
5th IFIP WG 5.5 International Precision Assembly Seminar (IPAS), Feb 2010, Chamonix, France. pp.180-187, ⟨10.1007/978-3-642-11598-1_21⟩
Conference papers hal-01055686v1
Image document

Blockchain Based Access Control

 Damiano Di Francesco Maesa , Paolo Mori , Laura Ricci
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.206-220, ⟨10.1007/978-3-319-59665-5_15⟩
Conference papers hal-01800124v1
Image document

From urelements to Computation

 Vincenzo Ciancia
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.141-155, ⟨10.1007/978-3-319-47286-7_10⟩
Conference papers hal-01615302v1
Image document

Fluid Analysis of Foraging Ants

 Mieke Massink , Diego Latella
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.152-165, ⟨10.1007/978-3-642-30829-1_11⟩
Conference papers hal-01529603v1
Image document

ENVIROFI - Bringing Biodiversity to the Future Internet

 Katharina Schleidt , Nina Laurenne , Andrea Giacomelli , Denis Havlik
10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.85-97, ⟨10.1007/978-3-642-41151-9_9⟩
Conference papers hal-01457505v1
Image document

A Model-Checking Tool for Families of Services

 Patrizia Asirelli , Maurice H. ter Beek , Alessandro Fantechi , Stefania Gnesi
13th 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.44-58, ⟨10.1007/978-3-642-21461-5_3⟩
Conference papers hal-01583318v1
Image document

Highly Customizable Service Composition and Orchestration

 Luca Sabatucci , Carmelo Lodato , Salvatore Lopes , Massimo Cossentino
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.156-170, ⟨10.1007/978-3-319-24072-5_11⟩
Conference papers hal-01757567v1
Image document

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

 Davide Basile , Maurice Beek , Axel Legay
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-50086-3_1⟩
Conference papers hal-03283240v1
Image document

A Cloud-Based Prediction Framework for Analyzing Business Process Performances

 Eugenio Cesario , Francesco Folino , Massimo Guarascio , Luigi Pontieri
International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.63-80, ⟨10.1007/978-3-319-45507-5_5⟩
Conference papers hal-01635015v1
Image document

A Visual Tool for Analysing IoT Trigger/Action Programming

 Luca Corcella , Marco Manca , Fabio Paternò , Carmen Santoro
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.189-206, ⟨10.1007/978-3-030-05909-5_11⟩
Conference papers hal-02270715v1
Image document

A Compositional Model for Gesture Definition

 Lucio Davide Spano , Antonio Cisternino , Fabio Paternò
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.34-52, ⟨10.1007/978-3-642-34347-6_3⟩
Conference papers hal-01556826v1
Image document

Improving Support for Visual Task Modelling

 Fabio Paternò , Carmen Santoro , Lucio Davide Spano
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.299-306, ⟨10.1007/978-3-642-34347-6_21⟩
Conference papers hal-01556813v1

Human-Computer Interaction

 Peter Forbrig , Fabio Paternò , Annelise Pejtersen
Springer, AICT-332, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15230-6
Books hal-01557583v1
Image document

Characterising Aggregate Inter-contact Times in Heterogeneous Opportunistic Networks

 Andrea Passarella , Marco Conti
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.301-313, ⟨10.1007/978-3-642-20798-3_23⟩
Conference papers hal-01597962v1
Image document

Playing with Our CAT and Communication-Centric Applications

 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari , Emilio Tuosto
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers hal-01432928v1
Image document

An Enriched Emoji Picker to Improve Accessibility in Mobile Communications

 Maria Teresa Paratore , Maria Claudia Buzzi , Marina Buzzi , Barbara Leporini
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.418-433, ⟨10.1007/978-3-030-85623-6_25⟩
Conference papers hal-04331585v1
Image document

Optimal Security Configuration for Cyber Insurance

 Fabio Martinelli , Ganbayar Uuganbayar , Artsiom Yautsiukhin
33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.187-200, ⟨10.1007/978-3-319-99828-2_14⟩
Conference papers hal-02023729v1
Image document

On Bisimilarity for Polyhedral Models and SLCS

 Vincenzo Ciancia , David Gabelaia , Diego Latella , Mieke Massink , Erik Vink
43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.132-151, ⟨10.1007/978-3-031-35355-0_9⟩
Conference papers hal-04731935v1
Image document

Modelling Social-Aware Forwarding in Opportunistic Networks

 Chiara Boldrini , Marco Conti , Andrea Passarella
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.141-152, ⟨10.1007/978-3-642-25575-5_12⟩
Conference papers hal-01586891v1
Page :