Filter your results
- 6
- 6
- 6
- 1
- 3
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 results
|
|
sorted by
|
|
Automated Test Design for Boundaries of Product Line Variants27th 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
|
||
|
Bridging the Digital Divide at the Regional Level? The Effect of Regional and National Policies on Broadband Access in Europe’s Regions13th 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
|
||
|
On Certifying Distributed Algorithms: Problem of Local Correctness39th 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
|
||
|
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness8th 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
|
||
|
A Mobile App for Illiterate and Semi-illiterate Pregnant Women- A User Centered Approach17th 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
|
||
|
User Experience and Immersion of Interactive Omnidirectional Videos in CAVE Systems and Head-Mounted Displays16th 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
|