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

Filter your results

18 results
Page :
sorted by
Image document

Engagement and Discrete Emotions in Game Scenario: Is There a Relation Among Them?

 Renan Vinicius Aranha , Leonardo Nogueira Cordeiro , Lucas Mendes Sales , Fátima Nunes
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.22-42, ⟨10.1007/978-3-030-85613-7_3⟩
Conference papers hal-04292359v1
Image document

Checking Experiments for Finite State Machines with Symbolic Inputs

 Alexandre Petrenko , Adenilso Simao
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩
Conference papers hal-01470154v1
Image document

Presenting the Key Ideas of Fractions Through MathFractions: A Game Based Learning

 Manuel J. Ibarra , Wilber Jiménez , Carolina Soto , Eduardo Chavez , Edison Chiclla , et al.
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.417-421, ⟨10.1007/978-3-030-34644-7_38⟩
Conference papers hal-03652022v1
Image document

Strategies for Inclusive End-User Co-Creation of Inclusive Storytelling Games

 Franco Eusébio Garcia , Vânia Almeida Neris
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.201-213, ⟨10.1007/978-3-030-34644-7_16⟩
Conference papers hal-03652057v1

Testing Software and Systems

 Alexandre Petrenko , Adenilso Simao , José Carlos Maldonado
Springer, LNCS-6435, 2010, Lecture Notes in Computer Science, 978-3-642-16572-6. ⟨10.1007/978-3-642-16573-3⟩
Books hal-01555791v1
Image document

Budgetary Data (in an Open Format) Benefits, Advantages, Obstacles and Inhibitory Factors in the View of the Intermediaries of this System: A Study in Latin American Countries

 Gisele Da Silva Craveiro , Cláudio Sonáglio Albano
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.223-235, ⟨10.1007/978-3-319-25013-7_18⟩
Conference papers hal-01448041v1
Image document

Substituting Computers for Mobile Phones? An Analysis of the Effect of Device Divide on Digital Skills in Brazil

 Marcelo Araujo , Nicolau Reinhard
11th International Conference on Electronic Participation (ePart), Sep 2019, San Benedetto Del Tronto, Italy. pp.142-154, ⟨10.1007/978-3-030-27397-2_12⟩
Conference papers hal-02446016v1
Image document

The Link-Offset-Scale Mechanism for Improving the Usability of Touch Screen Displays on the Web

 Willian Massami Watanabe , Renata Mattos Fortes , Maria Da Graça Campos Pimentel
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.356-372, ⟨10.1007/978-3-642-23765-2_25⟩
Conference papers hal-01591838v1
Image document

Improving the Involvement of Digital Volunteers in Disaster Management

 Roberto Dos Santos Rocha , Adam Widera , Roelof Berg , João Albuquerque , Bernd Helingrath
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.214-224, ⟨10.1007/978-3-319-68486-4_17⟩
Conference papers hal-03213126v1
Image document

Human-Centred Technology for Sustainable Development Goals: Challenges and Opportunities

 Lara Piccolo , Vânia Almeida Neris , Kamila Rios Rodrigues , Masood Masoodian
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.553-557, ⟨10.1007/978-3-030-85607-6_76⟩
Conference papers hal-04291224v1
Image document

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

 Mário S. Alvim , Bernardo Amorim , Sophia Knight , Santiago Quintero , Frank Valencia
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.22-41, ⟨10.1007/978-3-030-78089-0_2⟩
Conference papers hal-03740263v1
Image document

Adaptive Localizer Based on Splitting Trees

 Roland Groz , Adenilso Simao , Catherine Oriat
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
Conference papers hal-01678983v1
Image document

Generating Checking Sequences for User Defined Fault Models

 Alexandre Petrenko , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩
Conference papers hal-01678955v1
Image document

Fault-Based Testing for Refinement in CSP

 Ana Cavalcanti , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩
Conference papers hal-01678973v1
Image document

Open Government Data: Facilitating and Motivating Factors for Coping with Potential Barriers in the Brazilian Context

 Claudio Sonaglio Albano , Nicolau Reinhard
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.181-193, ⟨10.1007/978-3-662-44426-9_15⟩
Conference papers hal-01401740v1
Image document

Categorization of Brazilian Internet Users and Its Impacts on the Use of Electronic Government Services

 Marcelo De Araujo , Nicolau Reinhard
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.242-252, ⟨10.1007/978-3-662-44426-9_20⟩
Conference papers hal-01401748v1

Middleware 2011

 Fabio Kon , Anne-Marie Kermarrec
Springer, LNCS-7049, 2011, Lecture Notes in Computer Science, 978-3-642-25820-6. ⟨10.1007/978-3-642-25821-3⟩
Books hal-01597753v1
Image document

Inferring Finite State Machines Without Reset Using State Identification Sequences

 Roland Groz , Adenilso Simao , Alexandre Petrenko , Catherine Oriat
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
Conference papers hal-01470168v1
Page :