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

Filter your results

37 results
Page :
sorted by
Image document

Expanding the Magic Circle in Pervasive Casual Play

 Sofia Reis
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.486-489, ⟨10.1007/978-3-642-33542-6_60⟩
Conference papers hal-01556122v1
Image document

Web-Based Graphic Environment to Support Programming in the Beginning Learning Process

 Carlos J. Costa , Manuela Aparicio , Carlos Cordeiro
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.413-416, ⟨10.1007/978-3-642-33542-6_41⟩
Conference papers hal-01556178v1
Image document

Towards Identifying Augmented Reality Unique Attributes to Facilitate Chemistry Learning

 Sandra Câmara Olim , Valentina Nisi , Teresa Romão
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.513-516, ⟨10.1007/978-3-030-85607-6_69⟩
Conference papers hal-04291235v1
Image document

Model-Driven Service Level Management

 Anacleto Correia , Fernando Brito Abreu
4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.85-88, ⟨10.1007/978-3-642-13986-4_10⟩
Conference papers hal-01056646v1
Image document

Tell a Tail: Leveraging XR for a Transmedia on Animal Welfare

 Paulo Bala , Mara Dionisio , Sarah Oliveira , Tânia Andrade , Valentina Nisi
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.223-239, ⟨10.1007/978-3-030-65736-9_19⟩
Conference papers hal-03686035v1

Entertainment Computing – ICEC 2020

 Nuno Jardim Nunes , Lizhuang Ma , Meili Wang , Nuno Correia , Zhigeng Pan
Springer International Publishing, LNCS-12523, 2020, Lecture Notes in Computer Science, 978-3-030-65735-2. ⟨10.1007/978-3-030-65736-9⟩
Books hal-03686002v1
Image document

Using Technology to Visualize Gender Bias

 Sara Tranquada , Nuno Correia , Karolina Baras
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.186-194, ⟨10.1007/978-3-030-85607-6_13⟩
Conference papers hal-04291246v1
Image document

GoPi: Compiling Linear and Static Channels in Go

 Marco Giunti
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Conference papers hal-03273983v1
Image document

TROCAS: Communication Skills Development in Children with Autism Spectrum Disorders via ICT

 Margarida Silva , Carla Simões , Daniel Gonçalves , Tiago Guerreiro , Hugo Silva , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.644-647, ⟨10.1007/978-3-642-23768-3_103⟩
Conference papers hal-01596916v1
Image document

Java Typestate Checker

 João Mota , Marco Giunti , António Ravara
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.121-133, ⟨10.1007/978-3-030-78142-2_8⟩
Conference papers hal-03387832v1

Formal Techniques for Distributed Objects, Components, and Systems

 Christel Baier , Luís Caires
Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩
Books hal-01824818v1
Image document

Integrated System for Automatic Platform Game Level Creation with Difficulty and Content Adaptation

 Fausto Mourato , Manuel Santos , Fernando Birra
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.409-412, ⟨10.1007/978-3-642-33542-6_40⟩
Conference papers hal-01556116v1
Image document

Augmented Reality Towards Facilitating Abstract Concepts Learning

 Sandra Câmara Olim , Valentina Nisi
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.188-204, ⟨10.1007/978-3-030-65736-9_17⟩
Conference papers hal-03686009v1
Image document

Coordinating Phased Activities while Maintaining Progress

 Tiago Cogumbreiro , Francisco Martins , Vasco Thudichum Vasconcelos
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.31-44, ⟨10.1007/978-3-642-38493-6_3⟩
Conference papers hal-01486033v1
Image document

Adaptation to TV Delays Based on the User Behaviour towards a Cheating-Free Second Screen Entertainment

 Rui Neves Madeira , Pedro Centieiro , Nuno Correia
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.424-432, ⟨10.1007/978-3-319-24589-8_35⟩
Conference papers hal-01758439v1
Image document

Fostering Interaction Between Locals and Visitors by Designing a Community-Based Tourism Platform on a Touristic Island

 Mara Dionisio , Cláudia Silva , Valentina Nisi
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.768-787, ⟨10.1007/978-3-030-29384-0_46⟩
Conference papers hal-02544616v1
Image document

To Binge or not to Binge: Viewers’ Moods and Behaviors During the Consumption of Subscribed Video Streaming

 Diogo Cabral , Deborah Castro , Jacob M. Rigby , Harry Vasanth , Mónica S. Cameirão , et al.
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.369-381, ⟨10.1007/978-3-030-65736-9_33⟩
Conference papers hal-03686021v1
Image document

Mouse Tracking Measures and Movement Patterns with Application for Online Surveys

 Catia Cepeda , Joao Rodrigues , Maria Camila Dias , Diogo Oliveira , Dina Rindlisbacher , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.28-42, ⟨10.1007/978-3-319-99740-7_3⟩
Conference papers hal-02060040v1
Image document

A Timed Component Algebra for Services

 Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

ReGraDa: Reactive Graph Data

 Leandro Galrinho , João Costa Seco , Søren Debois , Thomas Hildebrandt , Håkon Norman , et al.
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.188-205, ⟨10.1007/978-3-030-78142-2_12⟩
Conference papers hal-03387831v1
Image document

First-Order Dynamic Logic for Compensable Processes

 Roberto Bruni , Carla Ferreira , Anne Kersten Kauer
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers hal-01529601v1
Image document

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

 Luís Caires , Jorge A. Pérez
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.74-95, ⟨10.1007/978-3-319-39570-8_6⟩
Conference papers hal-01432929v1
Image document

Performative Virtual Scenes: A Dynamic VR Environment Design Approach

 Nuno N. Correia , Stephan Jürgens , Raul Masu , Jochen Feitsch , Ivana Druzetic
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.100-114, ⟨10.1007/978-3-030-89394-1_8⟩
Conference papers hal-04144358v1
Image document

Amnesia in the Atlantic: An AI Driven Serious Game on Marine Biodiversity

 Mara Dionísio , Valentina Nisi , Jin Xin , Paulo Bala , Stuart James , et al.
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.427-432, ⟨10.1007/978-3-030-89394-1_35⟩
Conference papers hal-04144409v1
Image document

An Educational Game About Math and Magic

 Tiago Lemos , Teresa Romão , Nuno Correia , Miguel Pedro
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.383-389, ⟨10.1007/978-3-030-34644-7_32⟩
Conference papers hal-03652049v1
Image document

FITCH: Supporting Adaptive Replicated Services in the Cloud

 Vinicius V. Cogo , André Nogueira , João Sousa , Marcelo Pasin , Hans P. Reiser , et al.
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.15-28, ⟨10.1007/978-3-642-38541-4_2⟩
Conference papers hal-01489461v1
Image document

Synchronising Live Second Screen Applications with TV Broadcasts Through User Feedback

 Pedro Centieiro , Teresa Romão , A. Eduardo Dias , Rui Neves Madeira
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.341-349, ⟨10.1007/978-3-319-22698-9_22⟩
Conference papers hal-01609402v1
Image document

Encouraging Chemistry Learning Through an Augmented Reality Magic Game

 Ana Margarida Sousa , Teresa Romão
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.12-21, ⟨10.1007/978-3-030-85613-7_2⟩
Conference papers hal-04292355v1
Image document

Model-Driven Framework for Human Machine Interaction Design in Industry 4.0

 Patrícia Leal , Rui Neves Madeira , Teresa Romão
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.644-648, ⟨10.1007/978-3-030-29390-1_54⟩
Conference papers hal-02878627v1
Image document

Word Problem Languages for Free Inverse Monoids

 Tara Brough
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.24-36, ⟨10.1007/978-3-319-94631-3_3⟩
Conference papers hal-01905631v1
Page :