Search - IFIP Open Digital Library Access content directly

Filter your results

33 results
Structure: Internal structure identifier : 48181
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
Image document

Dynamic Soundness in Resource-Constrained Workflow Nets

 María Martos-Salgado , Fernando Rosa-Velardo
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.259-273, ⟨10.1007/978-3-642-21461-5_17⟩
Conference papers hal-01583317v1
Image document

Supporting the Collaboration between Programmers and Designers Building Game AI

 Ismael Sagredo-Olivenza , Marco Antonio Gómez-Martín , Pedro A. González-Calero
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.496-501, ⟨10.1007/978-3-319-24589-8_46⟩
Conference papers hal-01758411v1
Image document

Testing Probabilistic Distributed Systems

 Robert M. Hierons , Manuel Núñez
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.63-77, ⟨10.1007/978-3-642-13464-7_6⟩
Conference papers hal-01055146v1
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers hal-02364577v1
Image document

Metamodelling for Agent Based Modelling: An Application for Continuous Double Auctions

 Rubén Fuentes-Fernández , José M. Galán , Samer Hassan , Juan Pavón , Felix A. Villafañez
9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.285-292, ⟨10.1007/978-3-642-14341-0_33⟩
Conference papers hal-01060734v1
Image document

Measuring Preferences in Game Mechanics: Towards Personalized Chocolate-Covered Broccoli

 Irene Camps-Ortueta , Pedro A. González-Calero , María Angeles Quiroga , Pedro P. Gómez-Martín
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.15-27, ⟨10.1007/978-3-030-34644-7_2⟩
Conference papers hal-03652037v1
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

Effectiveness for Input Output Conformance Simulation iocos̱

 Carlos Gregorio-Rodríguez , Luis Llana , Rafael Martínez-Torres
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.100-116, ⟨10.1007/978-3-662-43613-4_7⟩
Conference papers hal-01398009v1

Entertainment Computing – ICEC 2021

 Jannicke Baalsrud Hauge , Jorge C. S. Cardoso , Licínio Roque , Pedro A. González-Calero
Springer International Publishing, LNCS-13056, 2021, Lecture Notes in Computer Science, 978-3-030-89393-4. ⟨10.1007/978-3-030-89394-1⟩
Books hal-04144378v1

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

Fuzzy-Timed Automata

 F. Javier Crespo , Alberto Encina , Luis Llana
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.140-154, ⟨10.1007/978-3-642-13464-7_12⟩
Conference papers hal-01055157v1

Testing Software and Systems

 Mercedes G. Merayo , Edgardo Montes de Oca
Springer, LNCS-8763, 2014, Lecture Notes in Computer Science, 978-3-662-44856-4. ⟨10.1007/978-3-662-44857-1⟩
Books hal-01405294v1
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

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

 David Romero-Hernández , David De Frutos Escrig
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.249-265, ⟨10.1007/978-3-662-43613-4_16⟩
Conference papers hal-01398019v1

Formal Techniques for Distributed Objects, Components, and Systems

 Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1

VLSI-SoC: Forward-Looking Trends in IC and Systems Design

 José L. Ayala , David Atienza Alonso , Ricardo Reis
Springer, AICT-373, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-28565-3. ⟨10.1007/978-3-642-28566-0⟩
Books hal-01516071v1
Image document

Branching Bisimulation Games

 David De Frutos Escrig , Jeroen A. Keiren , Tim C. Willemse
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers hal-01432915v1
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

How to Make Numerical Information Accessible: Experimental Identification of Simplification Strategies

 Susana Bautista , Raquel Hervás , Pablo Gervás , Richard Power , Sandra Williams
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.57-64, ⟨10.1007/978-3-642-23774-4_7⟩
Conference papers hal-01590553v1
Image document

A User-Centred Methodology for the Development of Computer-Based Assistive Technologies for Individuals with Autism

 Raquel Hervás , Virginia Francisco , Gonzalo Méndez , Susana Bautista
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.85-106, ⟨10.1007/978-3-030-29381-9_6⟩
Conference papers hal-02544539v1
Image document

Thermal Modeling and Management of Liquid-Cooled 3D Stacked Architectures

 Ayşe Kivilcim Coşkun , José L. Ayala , David Atienza , Tajana Simunic Rosing
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.34-55, ⟨10.1007/978-3-642-23120-9_3⟩
Conference papers hal-01569359v1
Image document

Defining Distances for All Process Semantics

 David Romero Hernández , David De Frutos Escrig
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.169-185, ⟨10.1007/978-3-642-30793-5_11⟩
Conference papers hal-01528728v1
Image document

Analysis of May-Happen-in-Parallel in Concurrent Objects

 Elvira Albert , Antonio E. Flores-Montoya , Samir Genaim
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.35-51, ⟨10.1007/978-3-642-30793-5_3⟩
Conference papers hal-01528735v1
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
Image document

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing

 Elvira Albert , Puri Arenas , Miguel Gómez-Zamalloa
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.49-65, ⟨10.1007/978-3-662-43613-4_4⟩
Conference papers hal-01398008v1
Image document

Human Attributes in the Modelling of Work Teams

 Juan Martínez-Miranda , Juan Pavón
9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.276-284, ⟨10.1007/978-3-642-14341-0_32⟩
Conference papers hal-01060733v1
Image document

Formal Testing of Timed and Probabilistic Systems

 Manuel Núñez
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩
Conference papers hal-01583920v1
Page :