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

Filter your results

7 results
publicationDateY_i : 2017
publicationDateY_i : 2013
Page :
sorted by
Image document

Modularising Opacity Verification for Hybrid Transactional Memory

 Alasdair Armstrong , Brijesh Dongol
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.33-49, ⟨10.1007/978-3-319-60225-7_3⟩
Conference papers hal-01658416v1
Image document

Proving Opacity via Linearizability: A Sound and Complete Method

 Alasdair Armstrong , Brijesh Dongol , Simon Doherty
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.50-66, ⟨10.1007/978-3-319-60225-7_4⟩
Conference papers hal-01658425v1
Image document

Passive Testing with Asynchronous Communications

 Robert M. Hierons , Mercedes G. Merayo , Manuel Núñez
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.99-113, ⟨10.1007/978-3-642-38592-6_8⟩
Conference papers hal-01515240v1
Image document

Social Media and Government Responsiveness: The Case of the UK Food Standards Agency

 Panagiotis Panagiotopoulos , Julie Barnett , Laurence Brooks
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.310-321, ⟨10.1007/978-3-642-40358-3_26⟩
Conference papers hal-01490916v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

 Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Developing Criteria for Evaluating a Multi-channel Digitally Enabled Participatory Budgeting Platform

 Amizan Omar , Vishanth Weerakkody , Uthayasankar Sivarajah
9th International Conference on Electronic Participation (ePart), Sep 2017, St. Petersburg, Russia. pp.3-11, ⟨10.1007/978-3-319-64322-9_1⟩
Conference papers hal-01703330v1
Image document

Dynamic Spatial Positioning: Physical Collaboration around Interactive Table by Children in India

 Izdihar Jamil , Kenton O’hara , Mark Perry , Abhijit Karnik , Mark T. Marshall , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.141-158, ⟨10.1007/978-3-642-40498-6_11⟩
Conference papers hal-01510543v1
Page :