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

Filter your results

6 results
Page :
sorted by
Image document

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

 Kiran Lakhotia , Nikolai Tillmann , Mark Harman , Jonathan Halleux
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩
Conference papers hal-01055253v1
Image document

Primal Infon Logic with Conjunctions as Sets

 Carlos Cotrini , Yuri Gurevich , Ori Lahav , Artem Melentyev
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩
Conference papers hal-01402046v1
Image document

The Future of Distributed Groups and Their Use of Social Media

 Mary Czerwinski
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.2-2, ⟨10.1007/978-3-642-23774-4_2⟩
Conference papers hal-01590539v1
Image document

What Do You See in the Cloud? Understanding the Cloud-Based User Experience through Practices

 John C. Tang , Jed R. Brubaker , Catherine C. Marshall
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.678-695, ⟨10.1007/978-3-642-40480-1_47⟩
Conference papers hal-01501781v1
Image document

Helping Users Sort Faster with Adaptive Machine Learning Recommendations

 Steven M. Drucker , Danyel Fisher , Sumit Basu
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.187-203, ⟨10.1007/978-3-642-23765-2_13⟩
Conference papers hal-01591827v1
Image document

Sharing Experiences over Video: Watching Video Programs together at a Distance

 Anna Macaranas , Gina Venolia , Kori Inkpen , John Tang
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.73-90, ⟨10.1007/978-3-642-40498-6_5⟩
Conference papers hal-01510557v1
Page :