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

Filter your results

6 results
Image document

Automated Test Design for Boundaries of Product Line Variants

Stephan Weissleder , Florian Wartenberg , Hartmut Lackner
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.86-101, ⟨10.1007/978-3-319-25945-1_6⟩
Conference papers hal-01470159v1
Image document

Bridging the Digital Divide at the Regional Level? The Effect of Regional and National Policies on Broadband Access in Europe’s Regions

Pau Palop García , Basanta Thapa , Björn Niehaves
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.218-229, ⟨10.1007/978-3-662-44426-9_18⟩
Conference papers hal-01401744v1
Image document

On Certifying Distributed Algorithms: Problem of Local Correctness

Kim Völlinger
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.281-288, ⟨10.1007/978-3-030-21759-4_16⟩
Conference papers hal-02313747v1
Image document

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness

Samira Akili , Kim Völlinger
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.179-185, ⟨10.1007/978-3-030-31517-7_12⟩
Conference papers hal-03769129v1
Image document

A Mobile App for Illiterate and Semi-illiterate Pregnant Women- A User Centered Approach

Jane Katusiime , Niels Pinkwart
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.617-620, ⟨10.1007/978-3-030-29390-1_48⟩
Conference papers hal-02878639v1
Image document

User Experience and Immersion of Interactive Omnidirectional Videos in CAVE Systems and Head-Mounted Displays

Pekka Kallioniemi , Ville Mäkelä , Santeri Saarinen , Markku Turunen , York Winter , et al.
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.299-318, ⟨10.1007/978-3-319-68059-0_20⟩
Conference papers hal-01679797v1