Search - IFIP Open Digital Library Access content directly

Filter your results

48 results
Structure: Internal structure identifier : 50873
Page :
sorted by

Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

 Fides Aarts , Bengt Jonsson , Johan Uijen
IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩
Conference papers hal-00767416v1
Image document

Physicians' Concept of Time Usage - A Key Concern in EPR Deployment

 Rebecka Janols , Bengt Göransson , Erik Borälv , Bengt Sandblad
First IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.71-81, ⟨10.1007/978-3-642-15515-4_8⟩
Conference papers hal-01054845v1
Image document

Towards a Usability Coaching Method for Institutionalizing Usability in Organisations

 Åsa Cajander , Elina Eriksson , Jan Gulliksen
Second IFIP TC 13 Symposium on Human-Computer Interaction (HCIS)/ Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.86-97, ⟨10.1007/978-3-642-15231-3_10⟩
Conference papers hal-01055490v1
Image document

What is Culture? Toward Common Understandings of Culture in HCI

 Anette Löfstrom
Second IFIP TC 13 Symposium on Human-Computer Interaction (HCIS)/ Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.133-141, ⟨10.1007/978-3-642-15231-3_14⟩
Conference papers hal-01060969v1
Image document

ICT in Art in Sweden 1993–2011: Tool, Medium and Theme

 Anna Orrghen
4th History of Nordic Computing (HiNC4), Aug 2014, Copenhagen, Denmark. pp.78-89, ⟨10.1007/978-3-319-17145-6_9⟩
Conference papers hal-01301396v1
Image document

Independent Agents and Ethics

 Iordanis Kavathatzopoulos
11th IFIP International Conference on Human Choice and Computers (HCC), Jul 2014, Turku, Finland. pp.39-46, ⟨10.1007/978-3-662-44208-1_4⟩
Conference papers hal-01383045v1
Image document

Sustainable ICT: A Critique from the Perspective of World Systems Theory

 Thomas Taro Lennerfors , Per Fors , Jolanda Van Rooijen
11th IFIP International Conference on Human Choice and Computers (HCC), Jul 2014, Turku, Finland. pp.57-68, ⟨10.1007/978-3-662-44208-1_6⟩
Conference papers hal-01383047v1
Image document

Slow Tech: The Bridge between Computer Ethics and Business Ethics

 Norberto Patrignani , Diane Whitehouse
11th IFIP International Conference on Human Choice and Computers (HCC), Jul 2014, Turku, Finland. pp.92-106, ⟨10.1007/978-3-662-44208-1_9⟩
Conference papers hal-01383050v1
Image document

Computers, Time and Speed: Five Slow Tech Case Studies

 Diane Whitehouse , Norberto Patrignani
11th IFIP International Conference on Human Choice and Computers (HCC), Jul 2014, Turku, Finland. pp.122-135, ⟨10.1007/978-3-662-44208-1_11⟩
Conference papers hal-01383052v1
Image document

Contextual Personas as a Method for Understanding Digital Work Environments

 Åsa Cajander , Marta Larusdottir , Elina Eriksson , Gerolf Nauwerck
4th IFIP 13.6 Working Conference on Human Work Interaction Design (HWID), Jun 2015, London, United Kingdom. pp.141-152, ⟨10.1007/978-3-319-27048-7_10⟩
Conference papers hal-01371693v1
Image document

Continuous Improvement in Agile Development Practice

 Marta Kristín Lárusdóttir , Åsa Cajander , Michael Simader
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.57-72, ⟨10.1007/978-3-662-44811-3_4⟩
Conference papers hal-01405065v1
Image document

Recognizing Complexity: Visualization for Skilled Professionals in Complex Work Situations

 Arne W. Andersson , Anders Jansson , Bengt Sandblad , Simon Tschirner
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.47-66, ⟨10.1007/978-3-642-54894-9_5⟩
Conference papers hal-01414652v1
Image document

Fencing Programs with Self-Invalidation and Self-Downgrade

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Stefanos Kaxiras , Carl Leonardsson , Alberto Ros , et al.
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.19-35, ⟨10.1007/978-3-319-39570-8_2⟩
Conference papers hal-01432925v1
Image document

Can Machines Make Ethical Decisions?

 Iordanis Kavathatzopoulos , Ryoko Asai
9th Artificial Intelligence Applications and Innovations (AIAI), Sep 2013, Paphos, Greece. pp.693-699, ⟨10.1007/978-3-642-41142-7_70⟩
Conference papers hal-01459663v1
Image document

Development of Novel eHealth Services for Citizen Use – Current System Engineering vs. Best Practice in HCI

 Isabella Scandurra , Jesper Holgersson , Thomas Lind , Gunilla Myreteg
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.372-379, ⟨10.1007/978-3-642-40480-1_24⟩
Conference papers hal-01501755v1
Image document

Existing but Not Explicit - The User Perspective in Scrum Projects in Practice

 Åsa Cajander , Marta Larusdottir , Jan Gulliksen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.762-779, ⟨10.1007/978-3-642-40477-1_52⟩
Conference papers hal-01504928v1
Image document

Did We Miss Something? Correspondence Analysis of Usability Data

 Stanislaw Zabramski , Wolfgang Stuerzlinger
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.272-279, ⟨10.1007/978-3-642-40498-6_20⟩
Conference papers hal-01510508v1

Challenges from the Future: Bridging the Gaps through HCI Education

 Lars Oestreicher , Paula Alexandra Silva
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.779
Conference papers hal-01513847v1

Human Work Interaction Design (HWID): Past History and Future Challenges

 Torkil Clemmensen , José Abdelnour Nocera , Arminda Guerra Lopes , Bengt Sandblad
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.780
Conference papers hal-01513874v1
Image document

Push-Down Automata with Gap-Order Constraints

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers hal-01514667v1
Image document

Verification of Directed Acyclic Ad Hoc Networks

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Othmane Rezine
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.193-208, ⟨10.1007/978-3-642-38592-6_14⟩
Conference papers hal-01515235v1
Image document

Product Semantics in Design Research Practice

 Jonas Sjöström , Brian Donnellan , Markus Helfert
Working COnference on Shaping the Future of ICT Research, Dec 2012, Tampa, FL, United States. pp.35-48, ⟨10.1007/978-3-642-35142-6_3⟩
Conference papers hal-01515847v1
Image document

Application of Conformal Prediction in QSAR

 Martin Eklund , Ulf Norinder , Scott Boyer , Lars Carlsson
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.166-175, ⟨10.1007/978-3-642-33412-2_17⟩
Conference papers hal-01523068v1
Image document

Is the Post-Turing ICT Sustainable?

 Norberto Patrignani , Iordanis Kavathatzopoulos
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.183-191, ⟨10.1007/978-3-642-33332-3_17⟩
Conference papers hal-01525095v1

Open Source Software: New Horizons

 Pär Ågerfalk , Cornelia Boldyreff , Jésus M. Gonzalez Barahona , Gregory Madey , John Noll
Springer, AICT-319, 2010, 978-3-642-13243-8
Books hal-01556206v1
Image document

The Usage of Usability Techniques in Scrum Projects

 Yuan Jia , Marta Kristin Larusdottir , Åsa Cajander
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.331-341, ⟨10.1007/978-3-642-34347-6_25⟩
Conference papers hal-01556824v1
Image document

Collaborations between Engineers and Artists in the Making of Computer Art in Sweden, 1967–1986

 Anna Orrghen
3rd History of Nordic Computing (HiNC), Oct 2010, Stockholm, Sweden. pp.127-136, ⟨10.1007/978-3-642-23315-9_15⟩
Conference papers hal-01564660v1
Image document

Implicit Bias in Predictive Data Profiling Within Recruitments

 Anders Persson
Anja Lehmann; Diane Whitehouse; Simone Fischer-Hübner; Lothar Fritsch; Charles Raab. Privacy and Identity Management. Facing up to Next Steps : 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised Selected Papers, AICT-498, Springer International Publishing, pp.212-230, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-55782-3. ⟨10.1007/978-3-319-55783-0_15⟩
Book sections hal-01629166v1
Image document

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations

 Kiko Fernandez-Reyes , Dave Clarke , Daniel S. Mccain
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.101-120, ⟨10.1007/978-3-319-39519-7_7⟩
Conference papers hal-01631723v1
Image document

Responsibilities and Challenges of Product Owners at Spotify - An Exploratory Case Study

 Sigurhanna Kristinsdottir , Marta Larusdottir , Åsa Cajander
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.3-16, ⟨10.1007/978-3-319-44902-9_1⟩
Conference papers hal-01647723v1
Page :