Search - IFIP Open Digital Library Access content directly

Filter your results

8 results
Structure: Internal structure identifier : 48181
publicationDateY_i : 2013
Page :
sorted by
Image document

Formal Specification of the Kademlia and the Kad Routing Tables in Maude

 Isabel Pita , María-Inés Fernández-Camacho
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.231-247, ⟨10.1007/978-3-642-37635-1_14⟩
Conference papers hal-01485972v1

Recent Trends in Algebraic Development Techniques

 Narciso Martí-Oliet , Miguel Palomino
Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩
Books hal-01485894v1
Image document

One Half or 50%? An Eye-Tracking Study of Number Representation Readability

 Luz Rello , Susana Bautista , Ricardo Baeza-Yates , Pablo Gervás , Raquel Hervás , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.229-245, ⟨10.1007/978-3-642-40498-6_17⟩
Conference papers hal-01510564v1
Image document

Distances between Processes: A Pure Algebraic Approach

 David Romero Hernández , David De Frutos Escrig
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.265-282, ⟨10.1007/978-3-642-37635-1_16⟩
Conference papers hal-01485974v1
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

A Generic Program Slicing Technique Based on Language Definitions

 Adrián Riesco , Irina Măriuca Asăvoae , Mihail Asăvoae
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.248-264, ⟨10.1007/978-3-642-37635-1_15⟩
Conference papers hal-01485973v1
Image document

Input-Output Conformance Simulation (iocos) for Model Based Testing

 Carlos Gregorio-Rodríguez , Luis Llana , Rafael Martínez-Torres
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.114-129, ⟨10.1007/978-3-642-38592-6_9⟩
Conference papers hal-01515238v1
Image document

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects

 Antonio E. Flores-Montoya , Elvira Albert , Samir Genaim
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.273-288, ⟨10.1007/978-3-642-38592-6_19⟩
Conference papers hal-01515247v1
Page :