Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

34 results
Page :
sorted by
Image document

2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY)

 Giuseppe Desolda , Vincenzo Deufemia , Maristella Matera , Fabio Paternò , Fabiana Vernero , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.525-529, ⟨10.1007/978-3-030-85607-6_71⟩
Conference papers hal-04291212v1
Image document

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

 Davide Basile , Maurice H. ter Beek
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.225-238, ⟨10.1007/978-3-030-78142-2_14⟩
Conference papers hal-03387846v1
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

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

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

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

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

Artificial Intelligence versus End-User Development: A Panel on What Are the Tradeoffs in Daily Automations?

 Fabio Paternò , Margaret Burnett , Gerhard Fischer , Maristella Matera , Brad Myers , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.340-343, ⟨10.1007/978-3-030-85607-6_33⟩
Conference papers hal-04291250v1
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
Image document

Collaborative Task Modelling on the Web

 Marco Manca , Fabio Paternò , Carmen Santoro
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.317-334, ⟨10.1007/978-3-319-44902-9_20⟩
Conference papers hal-01647700v1
Image document

Communication Requirements for Team Automata

 Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩
Conference papers hal-01657348v1

Coordination Models and Languages

 Jean-Marie Jacquet , Mieke Massink
Springer International Publishing, LNCS-10319, 2017, Lecture Notes in Computer Science, 978-3-319-59745-4. ⟨10.1007/978-3-319-59746-1⟩
Books hal-01657345v1
Image document

Design Criteria for Stimulating Emotions in Web Applications

 Giulio Mori , Fabio Paternò , Ferdinando Furci
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.165-182, ⟨10.1007/978-3-319-22701-6_12⟩
Conference papers hal-01599646v1
Image document

Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign

 Fabio Paternò , Giuseppe Zichittella
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.79-94, ⟨10.1007/978-3-642-16488-0_7⟩
Conference papers hal-01055195v1
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

Fundamentals of Software Engineering

 Hossein Hojjat , Mieke Massink
Springer International Publishing, LNCS-12818, 2021, Lecture Notes in Computer Science, 978-3-030-89246-3. ⟨10.1007/978-3-030-89247-0⟩
Books hal-04074515v1

Fundamentals of Software Engineering

 Hossein Hojjat , Mieke Massink
Springer International Publishing, LNCS-11761, 2019, Lecture Notes in Computer Science, 978-3-030-31516-0. ⟨10.1007/978-3-030-31517-7⟩
Books hal-03769131v1
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
Image document

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

 Diego Latella , Michele Loreti , Mieke Massink
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers hal-01774942v1
Image document

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination

 Vincenzo Ciancia , Diego Latella , Mieke Massink
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.67-83, ⟨10.1007/978-3-319-39519-7_5⟩
Conference papers hal-01631720v1
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

Puzzle: A Visual-Based Environment for End User Development in Touch-Based Mobile Phones

 Jose Danado , Fabio Paternò
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.199-216, ⟨10.1007/978-3-642-34347-6_12⟩
Conference papers hal-01556833v1
Image document

Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited

 Nicolas Gast , Diego Latella , Mieke Massink
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
Conference papers hal-03273995v1
Image document

Sign Language GIFs Exchange Communication System: A PECS-Based Computer-Mediated Communication Tool for the Deaf

 Celeste Zhilla , Giulio Galesi , Barbara Leporini
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.490-494, ⟨10.1007/978-3-030-85607-6_64⟩
Conference papers hal-04291194v1
Image document

Specifying and Verifying Properties of Space

 Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers hal-01402045v1
Image document

Stochastic Process Algebra and Stability Analysis of Collective Systems

 Luca Bortolussi , Diego Latella , Mieke Massink
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.1-15, ⟨10.1007/978-3-642-38493-6_1⟩
Conference papers hal-01486031v1
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

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities

 Davide Basile , Maurice Beek , Pierpaolo Degano , Axel Legay , Gian-Luigi Ferrari , et al.
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩
Conference papers hal-03740267v1
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

Team Automata@Work: On Safe Communication

 Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers hal-03273992v1
Page :