GISUM Grupo de Ingeniería del Software de la Universidad de Málaga

Artículos de revista

1.

Sandra González-Gallardo; Rubén Saborido; Ana B. Ruiz; Mariano Luque

Desirable Objective Ranges in Preference-Based Evolutionary Multiobjective Optimization Artículo en actas

En: Castillo, Pedro A.; Laredo, Juan Luis Jiménez (Ed.): Äpplications of Evolutionary Computation", pp. 227–241, Springer International Publishing, Cham, 2021, ISBN: 978-3-030-72699-7.

Resumen | BibTeX

2.

Christian Cintrano; Jamal Toutouh; Enrique Alba

Citizen centric optimal electric vehicle charging stations locations in a full city: case of Malaga Artículo en actas

En: 2021.

BibTeX

3.

Inmaculada Ayala; Alessandro V. Papadopoulos; Mercedes Amor; Lidia Fuentes

ProDSPL: Proactive Self-Adaptation Based on Dynamic Software Product Lines Artículo en actas

En: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A, pp. 81, Association for Computing Machinery, Leicester, United Kingdom, 2021, ISBN: 9781450384698.

Resumen | BibTeX | Enlaces:

4.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

Extensible and modular abstract syntax for feature modeling based on language constructs Artículo en actas

En: pp. 1-7, 2020.

BibTeX | Enlaces:

5.

Marina Calleja; María Luque; Jose Rodríguez-Santos; Javier Ferrer; Jose Leon-Carrion

INNOVATION IN TEACHING FOR TRAINING IN CLINICAL REASONING FOR STUDENTS OF SPEECH THERAPY DEGREE Artículo en actas

En: 2020.

BibTeX | Enlaces:

6.

Cristian Martín; Daniel Torres Ruiz; Manuel Díaz; Bartolome Rubio

FogPi: A Portable Fog Infrastructure through Raspberry Pis Artículo en actas

En: pp. 1-3, 2020.

BibTeX | Enlaces:

7.

Jose-Miguel Horcas; Alejandro Cortiñas; Lidia Fuentes; Miguel Luaces

Integrating the Common Variability Language with Multilanguage Annotations for Web Engineering Artículo en actas

En: 2020.

BibTeX

8.

Barbara Valera-Muros; Pedro Merino-Gómez

Is GÈANT Testbeds Service compliant with ETSI MANO? Artículo en actas

En: Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019, pp. 117–131, Universidad de Zaragoza, 2019.

BibTeX

9.

María-Del-Mar Gallardo; Laura Panizo

Modelling Software-Defined Networks with Alloy Artículo en actas

En: Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019, pp. 68–84, Universidad de Zaragoza, 2019.

BibTeX

10.

Francisco Luque; Laura Panizo; María-Del-Mar Gallardo; Pedro Merino-Gomez

Optimizing the deployment of virtual network functions in 5G networks with Model Based Testing Artículo en actas

En: Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019, pp. 51–64, Universidad de Zaragoza, 2019.

BibTeX

11.

Delia Rico Marchena; Pedro Merino Gomez

Ultra reliable low latency communications: a state of the art review Artículo en actas

En: Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019, pp. 37–50, Universidad de Zaragoza, 2019.

BibTeX

12.

María-Del-Mar Gallardo; Laura Panizo

Trace analysis using an Event-driven Interval Temporal Logic (Conference Paper) Artículo en actas

En: Informal pre-proceedings of 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019), pp. 15, 2019.

BibTeX

13.

Joaquin Ballesteros; Alberto Tudela; Juan Caro-Romero; Cristina Urdiales

A cane-based low cost sensor to implement attention mechanisms in telecare robots Artículo en actas

En: pp. 1473-1478, 2019.

BibTeX | Enlaces:

14.

Cristian Martín; Daniel Garrido; Manuel Díaz; Bartolome Rubio

From the Edge to the Cloud: Enabling Reliable IoT Applications Artículo en actas

En: pp. 17-22, 2019.

BibTeX | Enlaces:

15.

Antonio Nebro; Manuel López-Ibáñez; Cristóbal Barba-González; José García-Nieto

Automatic configuration of NSGA-II with jMetal and irace Artículo en actas

En: pp. 1374-1381, 2019, ISBN: 978-1-4503-6748-6.

BibTeX | Enlaces:

16.

Miguel Leon; Joaquin Ballesteros; Jonatan Tidare; N. Xiong; Elaine Astrand

Feature Selection of EEG OScillatory Activity Related to Motor Imagery Using a Hierarchical Genetic Algorithm Artículo en actas

En: 2019.

BibTeX | Enlaces:

17.

Cristina Alcaraz; Rodrigo Roman; Elena Abdo-Sánchez; Robert Halir; Alberto Hernádez-Escobar; Jamal Toutouh

GAMIFICATION MODELS AND TOOLS ACCORDING TO PROFILES: AN EXPERIENCE IN ENGINEERING DEGREES Artículo en actas

En: pp. 7740-7747, 2019.

BibTeX | Enlaces:

18.

Marina Calleja; María Luque; Jose Rodríguez-Santos; Javier Ferrer; Jose Leon-Carrion

Buenas prácticas aplicadas a la adquisición de competencias diagnósticas clínicas en el ámbito del lenguaje Artículo en actas

En: pp. 749-752, 2019.

BibTeX | Enlaces:

19.

Ángel Palomares-Caballero; Antonio Alex-Amor; Juan Valenzuela-Valdés; Francisco Luna; P. Padilla

Phase Shifter for Millimeter-Wave Frequency Range Based on Glide Symmetric Structures Artículo en actas

En: 2019.

BibTeX

20.

Barbara Valera-Muros; Pedro Merino

Is GÉANT Testbeds Service compliant with ETSI MANO? Artículo en actas

En: pp. 502-507, 2019.

BibTeX | Enlaces:

21.

Daniel Jesus Muñoz Guerra; Jeho Oh; Monica Pinto; Lidia Fuentes; Don Batory

Uniform random sampling product configurations of feature models that have numerical features: [research] Artículo en actas

En: pp. 1-13, 2019, ISBN: 978-1-4503-7138-4.

BibTeX | Enlaces:

22.

Cristian Martín; Daniel Garrido; Manuel Díaz; Bartolome Rubio

From the Edge to the Cloud: Enabling Reliable IoT Applications Artículo en actas

En: pp. 17-22, 2019.

BibTeX | Enlaces:

23.

Bhupinder Saini; Manuel López-Ibáñez; Kaisa Miettinen

Automatic surrogate modelling technique selection based on features of optimization problems Artículo en actas

En: pp. 1765-1772, 2019, ISBN: 978-1-4503-6748-6.

BibTeX | Enlaces:

24.

Almudena Díaz Zayas; Delia Rico; Bruno García; Pedro Merino

A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case Artículo en actas

En: pp. 71-79, 2019, ISBN: 978-1-4503-6905-3.

BibTeX | Enlaces:

25.

David Bandera; Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel

One Step Towards Dynamically Programmable Things: an Implementation Using Beacons Artículo en actas

En: pp. 1171-1176, 2019.

BibTeX | Enlaces:

26.

Alejandro Pérez-Vereda; Juan Murillo; Carlos Canal

Dynamically Programmable Virtual Profiles as a Service Artículo en actas

En: pp. 1789-1794, 2019.

BibTeX | Enlaces:

27.

Antonio Brogi; Jose Carrasco; Francisco Durán; Ernesto Pimentel; Jacopo Soldani

Robust Management of Trans-Cloud Applications Artículo en actas

En: pp. 219-223, 2019.

BibTeX | Enlaces:

28.

Mudita Sharma; Alexandros Komninos; Manuel López-Ibáñez; Dimitar Kazakov

Deep reinforcement learning based parameter control in differential evolution Artículo en actas

En: pp. 709-717, 2019, ISBN: 978-1-4503-6111-8.

BibTeX | Enlaces:

29.

Gabriela Ochoa; Francisco Chicano

Local optima network analysis for MAX-SAT Artículo en actas

En: pp. 1430-1437, 2019, ISBN: 978-1-4503-6748-6.

BibTeX | Enlaces:

30.

Daniel Jesus Muñoz Guerra; Monica Pinto; Lidia Fuentes

HADAS: analysing quality attributes of software configurations Artículo en actas

En: pp. 1-4, 2019, ISBN: 978-1-4503-6668-7.

BibTeX | Enlaces:

31.

Leonardo Bezerra; Manuel López-Ibáñez; Thomas Stützle

Archiver effects on the performance of state-of-the-art multi- and many-objective evolutionary algorithms Artículo en actas

En: pp. 620-628, 2019, ISBN: 978-1-4503-6111-8.

BibTeX | Enlaces:

32.

Antonio Nebro; Manuel López-Ibáñez; Cristóbal Barba-González; José García-Nieto

Automatic configuration of NSGA-II with jMetal and irace Artículo en actas

En: pp. 1374-1381, 2019, ISBN: 978-1-4503-6748-6.

BibTeX | Enlaces:

33.

Almudena Díaz Zayas; Delia Rico; Bruno García; Pedro Merino

A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case Artículo en actas

En: pp. 71-79, 2019, ISBN: 978-1-4503-6905-3.

BibTeX | Enlaces:

34.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

Software product line engineering: a practical experience [research] Artículo en actas

En: pp. 1-13, 2019, ISBN: 978-1-4503-7138-4.

BibTeX | Enlaces:

35.

María del Mar Gallardo Melgarejo; Laura Panizo Jaime

Modelling And Specifying Software Systems With Alloy (Tutorial) Artículo en actas

En: XIX Jornadas De Programación Y Lenguajes (Jornada). 02/09/2019 - 04/09/2019. Cáceres, Extemadura, 2019.

BibTeX

36.

María Mar Gallardo; Laura Panizo

An Event-driven interval temporal logic for hybrid systems (Trabajo en progreso) Artículo en actas

En: Ortega Mallén, Y. (Ed.), Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018). Sevilla, septiembre de 2018., SISTEDES, 2018.

BibTeX

37.

Laura Panizo; Almudena Díaz; Bruno García

An extension of TRIANGLE testbed with model-based testing (trabajo ya publicado) Artículo en actas

En: Ortega Mallén, Y. (Ed.), Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018). Sevilla, septiembre de 2018, 2018.

BibTeX

38.

Pedro Merino; Laura Panizo; Almudena Díaz; [et.al]

A pan-European infrastructure for research in mobile networks Artículo en actas

En: Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018, pp. 46–55, 2018.

BibTeX

39.

María Mar Gallardo; Laura Panizo

An Event-driven interval temporal logic for hybrid systems (Work in Progress) Artículo en actas

En: Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018, pp. 85–85, 2018.

BibTeX

40.

Laura Panizo; Almudena Díaz; Bruno García

An extension of TRIANGLE testbed with model-based testing Artículo en actas

En: Model checking Software, 25th International Symposium, SPIN2018, Málaga, Spain, June 20-22, 2018. Proceedings, pp. 190–195, 2018, ISBN: 978-3-319-94110-3.

BibTeX | Enlaces:

41.

Krzysztof Piotrowski; Marcel Geers; Daniel Garrido; Jaime Chen; Juan Jacobo Peralta; Augusto Casaca; Marco E T Gerards

Balancing energy production and consumption in energy efficient neighbourhoods Artículo en actas

En: Proc. of IEEE International Energy Conference. ENERGYCON 2018. 3rd.7th june 2018, Limassol, Cyprus, IEEE Computer Society, 2018, ISBN: 978-1-5386-3669-5.

BibTeX

42.

Antonio Benítez-Hidalgo (...); Ismael Navas-Delgado; José F Aldana-Montes

RPath: a web-app for metabolic pathway exploration (poster talk) Artículo en actas

En: Metabolic reprogramming as a Target for Cancer and other diseases. TARCADIS 2018. Book of abstracts, pp. 73–73, Universidad de Málaga, 2018.

BibTeX

43.

Delia Rico; Pedro Merino

Evaluation of multipath TCP in heterogeneous networks Artículo en actas

En: Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018, pp. 1–15, 2018.

BibTeX

44.

Ismael Navas

Can standards help in developing metabolomics? (comunicación oral) Artículo en actas

En: Metabolic reprogramming as a Target for Cancer and other diseases. TARCADIS 2018. Book of abstracts, pp. 38–38, Universidad de Málaga, 2018.

BibTeX

45.

Pedro Merino; Laura Panizo; Almudena Díaz

EuWireless: design of a pan-European mobile network operator for research Artículo en actas

En: Proc. of European Conference on Networks and Communications, EuCNC2018, Ljubljana, Slovenia, pp. 392–393, IEEE Computer Society, 2018.

BibTeX

46.

Raquel Gómez-Beas; Eva Contreras-Arribas; Sergio Romero; Óscar Lorente; Antonio Linares-Sáenz; Laura Panizo

Integrated water resources management in a complex reservoir system through a multipurpose DSS tool Artículo en actas

En: Proc. of 13th International Conference on Hydroinformatics. HIC2018. EPiC Series in Engineering; vol. 3, pp. 866–873, 2018.

BibTeX

47.

Daniel H. Stolfi; Cristian Cintrano; Francisco Chicano; E. Alba

Natural evolution tells us how to best make goods delivery: use vans Artículo en actas

En: Proceedings of the Genetic and Evolutionary Computation Conference Companion. GECCO 2018, Kyoto, Japan — July 15 - 19, 2018, pp. 308–309, 2018, ISBN: 978-1-4503-5764-7.

BibTeX | Enlaces:

48.

Patricia Araújo Oliveira; Francisco Durán; Ernesto Pimentel

Towards the performance analysis of elastic systems with e-Motions Artículo en actas

En: Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pp. 475–490, 2018, ISBN: 978-3-319-74780-4.

BibTeX | Enlaces:

49.

Leticia Lavado; Laura Panizo; María Mar Gallardo; Pedro Merino

A Characterisation of reliability tools for software defined networks Artículo en actas

En: Durán, F. (Ed.), Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017). La Laguna (Tenerife), SISTEDES, 2017.

BibTeX

50.

María-del-Mar Gallardo; Leticia Lavado; Laura Panizo

A Simulation tool for TCCP programs Artículo en actas

En: Durán, F. (Ed.), Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017). La Laguna (Tenerife), pp. 1–3, SISTEDES, 2017.

Resumen | BibTeX

51.

Laura Panizo; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino

Guided test case generation for mobile apps in the TRIANGLE project: work in progress Artículo en actas

En: Proc. of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, pp. 192–195, ACM, 2017, ISBN: 978-1-4503-5077-8.

BibTeX | Enlaces:

52.

Cristian Martín; Jaime Chen; Manuel Díaz; Ana Reyna; Bartolomé Rubio

SocICoAP: social interaction with supplementary sensors and actuators through CoAP in Smartphones Artículo en actas

En: Proc. of 2017 IEEE 41st Annual Computer Software and Applications Conference Workshops, 4-8 July 2017, Torino, Italy, pp. 672–677, IEEE Computer Society, 2017, ISBN: 978-1-5386-0367-3.

BibTeX | Enlaces:

53.

Daniel Stolfi; Enrique Alba; Xin Yao

Predicting Car Park Occupancy Rates in Smart Cities Artículo en actas

En: Alba E., Chicano F., Luque G. (eds) Smart Cities. Smart-CT 2017, pp. 107–117, Springer, 2017, ISBN: 978-3-319-59512-2.

Resumen | BibTeX | Enlaces:

54.

José Carrasco; Francisco Durán; Ernesto Pimentel

Component-wise application migration in bidimensional cross-cloud environments Artículo en actas

En: Donald Ferguson, Víctor Méndez Muñoz, Jorge S. Cardoso, Markus Helfert, Claus Pahl: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017, pp. 259–169, 2017, ISBN: 978-989-758-243-1.

BibTeX | Enlaces:

55.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes; Daniel Muñoz

An empirical study of power consumption of web-based communications in mobile phones Artículo en actas

En: Proc. of 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, pp. 861–866, IEEE Computer Society, 2017, ISBN: 978-1-5386-1956-8.

BibTeX | Enlaces:

56.

Antonio Brogi; Jose Carrasco; Javier Cubo; F D´Andria; Di E Nitto; Michele Guerriero; D Pérez; Ernesto Pimentel; Jacopo Soldani

SeaClouds: an open reference architecture for multi-cloud governance Artículo en actas

En: Bedir Tekinerdogan; Uwe Zdun and Ali Babar (Eds.). Software architecture: 10th European conference, ECSA 2016, Copenhagen, Denmark, november 28-december 2, 2016. Proceedings, pp. 334–338, Springer, 2016, ISBN: 978-3-319-48881-9.

BibTeX | Enlaces:

57.

Krzysztof Piotrowski; Augusto Casaca; Marco E T Gerards; Marijn Jongerden; Francisco Melo; Daniel Garrido; Marcel Geers; Jacobo Peralta

A hierarchical architecture for an energy management system Artículo en actas

En: [Proc. of the 10th Mediterranean Conference on Power Generation, Transmission, Distribution and Energy Conversion 6-9 November 2016 Belgrade, Serbia. Med Power 2016, pp. 1–8, 2016.

BibTeX

58.

Manuel Díaz; María Mar Gallardo; Pedro Merino; Laura Panizo; Sergio Romero; Enrique Soler

Smart flood management DSS Artículo en actas

En: [Proc. of International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016. Montreux, Switzerland, 10-12 october 2016], 2016.

BibTeX

59.

Inmaculada Ayala; Lorenzo Mandow; Mercedes Amor; Lidia Fuentes

Competición CAEPIA-APP: DOWNTOWN-APP Artículo en actas

En: Oscar Luaces,...[et. al](eds.). Actas de la XVII Conferencia de la Asociación Española para la Inteligencia Artificial, pp. 981–982, Ediciones Universidad, Salamanca, 2016, ISBN: 978-84-9012-632-5.

BibTeX

60.

María Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmerón

River basin management with SPIN (resumen) Artículo en actas

En: Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, septiembre de 2016., Sistedes, 2016.

BibTeX

61.

María Mar Gallardo; Leticia Lavado; Laura Panizo

A simulation tool for tccp programs Artículo en actas

En: [Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (wflp 2016), september 13-14, 2016], 2016.

BibTeX

62.

Inmaculada Ayala; José Miguel Horcas; Mercedes Amor; Lidia Fuentes

Using models at runtime to adapt self-managed agents for the IoT Artículo en actas

En: Matthias Klusch, [et al.] (eds.). Multiagent system technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, september 27-30, 2016. Proceedings, pp. 155–173, Springer, 2016, ISBN: 978-3-319-45889-2.

Resumen | BibTeX | Enlaces:

63.

Andrea F Cattoni; German Corrales; Michael Dieudonne; Pedro Merino; Almudena Díaz-Zayas; Alberto Salmerón; Frederik Carlier; Bart Saint Germain; Donald Morris; Ricardo Figueiredo; Jeanne Caffrey; Janie Baños; Carlos Cardenas; Alastair Moore; Niall Roche

An end-to-end testing ecosystem for 5G Artículo en actas

En: European Conference on Networks and Communications, EuCNC 2016, Athens, Greece, June 27-30, 2016, pp. 307–312, 2016, ISBN: 978-1-5090-2893-1.

BibTeX | Enlaces:

64.

Ana-Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino

A formal approach to automatic analysis of extra-functional properties in mobile apps Artículo en actas

En: Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016, pp. 225–239, 2016, ISBN: 978-84-16478-90-3.

BibTeX

65.

Pedro Merino

Conferencia invitada: A testbed for research and experimentation on protocols, applications and devices for 5G networks Artículo en actas

En: Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016, pp. 1–1, 2016, ISBN: 978-84-16478-90-3.

BibTeX

66.

María-del-Mar Gallardo; Leticia Lavado; Laura Panizo

Implementing a Hy-tccp interpreter for simulation Artículo en actas

En: Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016, pp. 173–186, 2016, ISBN: 978-84-16478-90-3.

BibTeX

67.

Almudena Díaz-Zayas; Javier F Rivas-Tocado; Pedro Merino

LTE para IoT Artículo en actas

En: Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016, pp. 53–59, 2016, ISBN: 978-84-16478-90-3.

BibTeX

68.

Cristian Cintrano; Daniel H. Stolfi; Jamal Toutouh; Francisco Chicano; Enrique Alba

CTPATH: a real world system to enable green tranportation by optimizing environmentlay friendly routing paths Artículo en actas

En: Enrique Alba, Francisco Chicano, Gabriel Luque,(eds.).Smart Cities: First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, Proceedings, pp. 63–75, Springer, Berlín, 2016, ISBN: 978-3-319-39594-4.

BibTeX | Enlaces:

69.

Houssem E Ben-Smida; Saoussen Krichen; Francisco Chicano; Enrique Alba

Mixed integer linear programming formulation for the taxi sharing problem Artículo en actas

En: En Enrique Alba, Francisco Chicano, Gabriel Luque,(eds.).Smart Cities: First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, Proceedings, pp. 106–117, Springer, 2016, ISBN: 978-3-319-39594-4.

BibTeX | Enlaces:

70.

C Canal; G Salaün

Stability-Based adaptation of asynchronously communicating software Artículo en actas

En: De Nicola R., Kühn E. (eds) Software Engineering and Formal Methods. SEFM 2016, pp. 321–336, Springer, 2016, ISBN: 978-3-319-41590-1.

BibTeX | Enlaces:

71.

M Barrientos; A Brogi; M Buccarella; J Carrasco; J Cubo; Francesco DÁndria; Di E Nitto; A Nieto; M Oriol; D Pérez; E Pimentel; S Zenzaro

Adaptive application management over multiple clouds Artículo en actas

En: Antonio Celesti; Philipp Leitner (Eds). Advances in Service-Oriented and Cloud Computing: Workshop of ESOCC 2015, pp. 422–424, Springer, Switzerland, 2016, ISBN: 978-3-319-33312-0.

BibTeX | Enlaces:

72.

Javier Berrocal; Jose García; Jose Carlos Canal; Juan M Murillo

Situational-Context: a unified view of everything involved at a particular situation Artículo en actas

En: Alessandro Bozzon; Philippe Cudre-Maroux; Cesare Pautasso, eds. Web Engineering: 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings, pp. 476–483, Springer, 2016, ISBN: 978-3-319-38790-1.

BibTeX | Enlaces:

73.

José Carrasco; Javier Cubo; Francisco Durán; Ernesto Pimentel

Bidimensional cross-cloud management with TOSCA and Brooklyn Artículo en actas

En: Ian Foster; Nimish Radia, eds.: 2016 IEEE 9th International Conference on Cloud Computing. CLOUD 2016, 27 june- 2 july 2016, San Francisco , California. Proceedings, pp. 951–955, IEEE Computer Society, 2016, ISBN: 978-1-5090-2619-7.

BibTeX | Enlaces:

74.

José Carrasco; Javier Cubo; Ernesto Pimentel; Francisco Durán

Deployment over heterogeneous Clouds with TOSCA and CAMP Artículo en actas

En: Jorge S. Cardoso, Donald Ferguson, Víctor Méndez Muñoz, Markus Helfert: CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, Volume 1, Rome, Italy, April 23-25, 2016, pp. 170–177, SciTePress, 2016, ISBN: 978-989-758-182-3.

BibTeX | Enlaces:

75.

José Miguel Horcas; Steffen Zschaler; Mónica Pinto; Lidia Fuentes

Towards contractual interfaces to reusable functional quality attribute operationalisations Artículo en actas

En: [Proc. of Modularity'16; Modularity in Modelling Workshop. MOMO'16], pp. to appear, 2016.

BibTeX

76.

José Miguel Horcas; Mónica Pinto; Lidia Fuentes

Towards the dynamic reconfiguration of quality attributes Artículo en actas

En: [Proc. Workshop on Live Adaptation of Software SYstems. LASSY 2016; 15th International Conference on MODULARITY; 14-17 March, Málaga, Spain], pp. to appear, 2016.

BibTeX

77.

Marco Comini; María Mar Gallardo; Laura Titolo; Alicia Villanueva

Abstract analysis of universal properties for tccp Artículo en actas

En: Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, septiembre de 2016, 2016.

BibTeX

78.

Jaime Chen; Eduardo Cañete; Manuel Díaz; Daniel Garrido; Krzysztof Piotrowski

Un middleware centrado en datos para el control en Tiempo Real de redes de energía inteligentes Artículo en actas

En: J. Javier Gutiérrez y Michael González Harbour,(eds.). V Simposio de Sistemas de Tiempo Real, pp. 19–30, Ediciones Universidad, 2016, ISBN: 978-84-9012-631-8.

BibTeX

79.

Maciek Rybinski; María Mar Roldán-García; José García-Nieto; José F Aldana-Montes

DisMatch results for OAEI 2016 Artículo en actas

En: Proc. of the 11th International Workshop on Ontology Matching, co-located with the 15th International Semantic Web Conference. OM 2016, Ontology Matching. Kobe, Japan, october 16, 2016. CEUR- Workshop Proceeding; 1766, pp. 161–165, 2016.

BibTeX

80.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmerón

River Basin Management with SPIN Artículo en actas

En: Dragan Bošnački; Anton Wijs (Eds.). Model Checking Software: 23rd. International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, april 7-8, 2016. Proceedings, pp. 78–96, Springer, Switzerland, 2016, ISBN: 978-3-319-32582-8.

BibTeX | Enlaces:

81.

Daniel H Stolfi; Enrique Alba

An Evolutionary algorithm to generate real urban traffic flows Artículo en actas

En: José M. Puerta,...[et. al], eds. Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, november 9-12, 2015. Proceedings, pp. 332–343, Springer, Heidelberg, New York, 2015, ISBN: 978-3-319-24597-3.

BibTeX | Enlaces:

82.

Raul Lara-Cabrera; Mariela Nogueira; Carlos Cotta; Antonio J Fernández-Leiva

Game artificial intelligence: challenges for the scientific community Artículo en actas

En: Proc. 2st Congreso de la Sociedad Española para las Ciencias del Videojuego. CoSECiVi 2015, Barcelona, Spain, june 24, 2015. CEUR-Workshop Proceedings; vol. 1394, pp. 1–12, 2015.

BibTeX

83.

María Mar Gallardo; Laura Panizo; Laura Titolo

A Discretized operational semantics for the implementation of Hy-tccp Artículo en actas

En: Proc. of XV Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander, del 15 al 17 de septiembre de 2015, pp. 2–20, 2015.

BibTeX

84.

M Christensen; D Brüggemann; K Groves; R Burch; P Henckel; K Raudsepp; E Soler

Development of an objective method to perform quality classification of comminuted poultry meat Artículo en actas

En: Proc. of 61st. International Congress of Meat Science and Technology, 23-28th august 2015, Clermont-Ferrand, France, pp. 4, 2015.

BibTeX

85.

Ana Rosario Espada; María Mar Gallardo; Alberto Salmerón; Pedro Merino

Runtime verification of expected energy consumption in Smartphones Artículo en actas

En: Bernd Fischer, Jaco Geldenhuys, eds. Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings, pp. 132–149, Springer, 2015, ISBN: 978-3-319-23403-8.

BibTeX | Enlaces:

86.

Ana Rosario Espada; María Mar Gallardo; Alberto Salmerón; Pedro Merino

Using model checking to generate test cases for Android applications Artículo en actas

En: Proc. of XV Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander, del 15 al 17 de septiembre de 2015, 2015.

BibTeX

87.

José Miguel Horcas; Mónica Pinto; Lidia Fuentes; Wissam Mallouli; Edgardo Montes Oca

Dynamic deployment and monitoring of security policies Artículo en actas

En: 12th International Conference, TrustBus2005, Valencia, Spain, September 1-2, 2015, Proceedings, pp. 180–192, Berlín, 2015, ISBN: 978-3-319-22905-8.

BibTeX | Enlaces:

88.

Manuel Díaz; Daniel Garrido

Maintenance of reliable distributed applications with open-soruce middleware: fifteen years later Artículo en actas

En: Juan Antonio de la Puente; Tullio Vardanega, (Eds.). Reliable software technologies-Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid, Spain, june 22-26, 2015, Proceedings, pp. 116–128, Springer, 2015, ISBN: 978-3-319-19584-1.

BibTeX | Enlaces:

89.

Daniel H. Stolfi; Enrique Alba

Smart mobility policies with evolutionary algorithms: the adapting info panel case Artículo en actas

En: Proceedings of the 2015 on Genetic and Evolutionary Computation Conference. GECCO'15., pp. 1287, 2015, ISBN: 978-1-4503-3472-3.

BibTeX | Enlaces:

90.

María Mar Gallardo; Laura Panizo; Laura Titolo

A Discretized operational semantic for the implementation of hy-tccp Artículo en actas

En: María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015, Málaga, 10,11 y 12 de junio de 2015, pp. 101–106, 2015, ISBN: 978-84-606-8792-4.

BibTeX

91.

César A García; Álvaro M Recio; Álvaro Rios; Almudena Díaz; Pedro Merino

A Framework to integrate SCPI compliant instruments into 4G/5G testbeds Artículo en actas

En: María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015. Málaga, 10, 11 y 12 de junio de 2015, pp. 43–56, 2015, ISBN: 978-84-606-8792-4.

BibTeX

92.

Lorena Cazorla; Cristina Alcaraz; Javier López

Protection of critical infrastructures through prevention and response Artículo en actas

En: María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015. Málaga, 10, 11 y 12 de junio de 2015, pp. 126–132, 2015, ISBN: 978-84-606-8792-4.

BibTeX

93.

Ana Rosario Espada; María Mar Gallardo; Alberto Salmerón; Pedro Merino

Runtime verification of expected energy consumption in smartphones Artículo en actas

En: María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015. Málaga, 10, 11 y 12 de junio de 2015, pp. 22–23, 2015, ISBN: 978-84-606-8792-4.

BibTeX

94.

Damián Adalid; Laura Titolo; María Mar Gallardo

Modeling hybrid systems in the concurrent constraint paradigm Artículo en actas

En: S. Escobar [ed.]: XIV Jornadas sobre programación y lenguajes. PROLE 2014. Revised selected papers, pp. 1–15, 2015.

BibTeX

95.

Daniel H Stolfi; Enrique Alba

Un Algoritmo evolutivo para la reducción de tiempos de viaje y emisiones utilizando paneles LED Artículo en actas

En: Actas del X Congreso Español sobre metaheurísticas, algoritmos evolutivos y bioinspirados. MAEB 2015, Mérida, Almendralejo 4, 5 y 6 de febrero de 2015, 2015, ISBN: 978-84-697-2150-6.

BibTeX

96.

Esteban López; María Jesús García; José Manuel García; Antonio J Nebro; José F Aldana-Montes

Docking Inter/Intra-Molecular mediante metaheurísticas multi-objetivo Artículo en actas

En: Actas del X Congreso Español sobre metaheurísticas, algoritmos evolutivos y bioinspirados. MAEB 2015, Mérida, Almendralejo, del 4, 5 y 6 de febrero, 2015, ISBN: 978-84-697-2150-6.

BibTeX

97.

R Lara-Cabrera; M Nogueira-Collazo; C Cotta; A J Fernández-Leiva

Optimización en videojuegos: retos para la comunidad científica Artículo en actas

En: Actas del X Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB 2015, Mérida, España, pp. 463–470, 2015, ISBN: 978-84697-2150-6.

BibTeX

98.

Neda Barzegar; María Mar Roldán; Suzan Uskudarli; José Francisco Aldana; Burak Acar

Overview of the Image CLEF 2015 liver CT annotation task Artículo en actas

En: Working Notes of CLEF 2015- Conference and Labs of the Evaluation forum.CLEF 2015, Working Notes. Toulouse, France, september 8-11, 2015. CEUR Workshop Proceedings; 1391, CEUR-WS, 2015.

BibTeX

99.

D Athanasopoulos; M Barrientos; L Bartoloni; A Brogi; M Buccarella; J Carrasco; J Cubo; F D`Andria; Di E Nitto; A Nieto; M Oriol; E Pimentel; S Zenzaro

SeaClouds: agile management of complex applications across multiple heterogeneous clouds Artículo en actas

En: Marco Autili; Tom Ritter; Andrey Sadovykh; Massimo Tivolo, eds.: Proceedings of the projects Showcase @STAF'15: L´Aquila, Italy, July 22, 2015, pp. 54–61, CEUR-WP, 2015.

BibTeX

100.

Krzysztof Piotrowski; Daniel Garrido; Wojciech Ciemniewski; Juan Jacobo Peralta

The e-balance security solution for the Smart Grid Artículo en actas

En: Proc. of European Conference on Networks and Communitacions. EUCNC 2015; Citizens Engagement to the Iot: Security and Privacy Challenges. Workshop 6. Paris, France, june 29/2 july, 2015, 2015.

BibTeX

101.

Ana Rosario Espada; María Mar Gallardo; Alberto Salmerón; Pedro Merino

Using model checking to generate test cases for Android applications Artículo en actas

En: Proc. Tenth Workshop on Model Based Testing. London, UK, 18th April 2015. EPTCS; 180, pp. 1–6, 2015.

BibTeX | Enlaces:

102.

Mariela Nogueira-Collazo; Antonio J Fernández-Leiva; Carlos Cotta

Eryna: una herramienta de apoyo a la revolución de los videojuegos Artículo en actas

En: Proc. 1st. Congreso de la Sociedad Española para las Ciencias del Videojuego. CoSECiVi 2014, Barcelona, Spain, june 24, 2014. CEUR-Workshop Proceedings; vol. 1196, pp. 173–184, 2014.

BibTeX

103.

Alejandro Gutiérrez; Raul Lara-Cabrera; A J Fernández-Leiva

Generación automática de contenido para un nuevo juego basado en el problema de los 3 cuerpos Artículo en actas

En: Proc. 1st. Congreso de la Sociedad Española para las Ciencias del Videojuego. CoSECiVi 2014, Barcelona, Spain, june 24, 2014. CEUR-Workshop Proceedings; vol. 1196, pp. 199–210, 2014.

BibTeX

104.

Antonio Linares; Jesús Regodón; Laura Panizo; María-del-Mar Gallardo; Pedro Merino

A DSS for reservoir operation based on the execution of formal models Artículo en actas

En: Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014], pp. 8, 2014, ISBN: 978-0-692-28129-1.

BibTeX

105.

Raúl Lara-Cabrera; Carlos Cotta; Antonio J. Fernández-Leiva

Using self-adaptive evolutionary algorithms to evolve dynamism-oriented madps for a real time strategy game Artículo en actas

En: Large-Scale scientific computing: 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013, Revised Selected Papers, pp. 256–263, Springer, Berlín, 2014, ISBN: 978-3-662-43879-4.

BibTeX | Enlaces:

106.

Liudmila Reyes-Álvarez; Yusniel Hidalgo-Delgado; Katerin Martínez Rojas; María Mar Roldán García; José F. Aldana-Montes

Actualización incremental de grafos RDF a partir de bases de datos relacionales Artículo en actas

En: 2014, ISBN: 978-84-697-1152-1.

BibTeX

107.

J A Onieva; R Rios; Palenciano. press]

Análisis y desarrollo de un canal encubierto en un red de sensores Artículo en actas

En: 2014.

BibTeX

108.

A. Nieto; J. Lopez; press]

Herramienta para la compensación de parámetros de QoS y seguridad Artículo en actas

En: pp. to to, 2014.

BibTeX

109.

Ana Nieto; Javier López

A Context-based parametric relationship model [CPRM] to measure the security and QoS tradeoff in configurable environments Artículo en actas

En: pp. 755–760, 2014.

BibTeX

110.

Enrique Alba

Cellular genetic algorithms Artículo en actas

En: pp. 733–748, New York NY. USA, 2014, ISBN: 978-1-4503-2881-4.

BibTeX

111.

Jose-Miguel Horcas; Mónica Pinto; Lidia Fuentes

Closing the gap between the specification and enforcement of security policies Artículo en actas

En: pp. 106–118, Springer, Berlin, 2014, ISBN: 978-3-319-09769-5.

BibTeX

112.

Francisco Moyano; Carmen Fernández-Gago; Kristian Beckers; Maritta Heisel

Enhancing problem frames wht trust and reputation for analyzing Smart Grid security requirements Artículo en actas

En: pp. 166–180, 2014, ISBN: 978-3-319-10328-0.

BibTeX

113.

A. Nieto press]

Evaluation in CPRM-based systems Artículo en actas

En: 2014.

BibTeX

114.

Jose-Miguel Horcas; Mónica Pinto; Lidia Fuentes

Injecting quality attributes into software architectures with the common variability language Artículo en actas

En: pp. 35–44, ACM, New York, USA, 2014, ISBN: 978-1-4503-2577-6.

BibTeX

115.

C. Alcaraz; E. Etcheves Miciolino; S. Wolthusen press]

Multi-round attacks on structural controllability properties for non-complete random graphs Artículo en actas

En: 2014.

BibTeX

116.

Javier López; Rubén Ríos; Jorge Cuellar.

Preserving receiver-location privacy in wireless sensor networks Artículo en actas

En: pp. 15–27, Springer, 2014, ISBN: 978-3-319-06320-1.

BibTeX

117.

C. Alcaraz; S. Wolthusen press]

Recovery of structural controllability for control systems Artículo en actas

En: 2014.

BibTeX

118.

Jose-Miguel Horcas; Mónica Pinto; Lidia Fuentes

Runtime enforcement of dynamic security policies Artículo en actas

En: pp. 340–356, Springer, 2014, ISBN: 978-3-319-09970-5.

BibTeX

119.

A. Nieto; J. López press]

Security and QoS tradeoff recommendation system [SQT-RS] for dynamic assessing CPRM-based systems Artículo en actas

En: 2014.

BibTeX

120.

Francisco Moyano; Kristian Beckers; Carmen Fernández-Gago

Trust-aware decision-making methodology for cloud sourcing Artículo en actas

En: pp. 136–149, Springer, Berlin, 2014, ISBN: 978-3-319-07880-9.

BibTeX

121.

Daniel H. Stolfi; Enrique Alba

Eco-friendly reduction of travel times in european smart cities Artículo en actas

En: Dirk V. Arnold, Ed. Genetic and Evolutionary Computation Conference, GECCO'14, Vancouver, BC, Canada, July 12-16, 2014, ACM, 2014, ISBN: 978-1-4503-2662-9.

BibTeX

122.

Ana-Rosario Espada; María-del-Mar Gallardo

Analyzing the correctness of Smartphones applications using Formal Methods (Doctoral Consortium) Artículo en actas

En: Actas del I Doctoral Consortium de la Sociedad de Ingeniería de Software y Tecnologías de Software (Sistedes), Cádiz, 19 de septiembre 2014, pp. 15–19, 2014, ISBN: 978-84-697-1154-5.

BibTeX

123.

J. Ruiz; Carsten Rudolph; A. Maña; M. Arjona Fernández

A Security engineering process for systems of systems using security patterns Artículo en actas

En: pp. to appear, 2014.

BibTeX

124.

R. Lara-Cabrera; C. Cotta; A. J. Fernández-Leiva

A Self-adaptive evolutionary approach to the evolution of aesthetic maps for a RTS game Artículo en actas

En: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2014, Beijing, China, july 6-11, 2014, pp. 298–304, 2014, ISBN: 978-1-4799-6626-4.

BibTeX | Enlaces:

125.

J. Barbarán; M. Díaz; B. Rubio

A Virtual channel-based framework for the integration of wireless sensor networks in the Cloud Artículo en actas

En: Proc. of 2014 International Conference on Future Internet of Things and Cloud. 27-29 august 2014, Barcelona, Spain, pp. 334–339, IEEE Computer Society, 2014, ISBN: 978-1-4799-4358-6.

BibTeX | Enlaces:

126.

Yusniel Hidalgo-Delgado; Liudmila Reyes-Álvarez; Amed Leiva-Mederos; María Mar Roldán-García; José F Aldana-Montes

BM2LOD: platform for publishing bibliographic data as linked open data Artículo en actas

En: Proc. of 7th IADIS International Conference on Information Systems, IADIS Press, 2014.

BibTeX

127.

Meriem Ouederni; Gwen Salaün; Javier Cámara; Ernesto Pimentel

Comparator: a tool for quantifying behavioural compatibility Artículo en actas

En: Stefania Gnesi, Arend Rensink (Eds.): Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-1, pp. 306–309, Springer-Verlag, Berlin Heidelberg, 2014, ISBN: 978-3-642-54804-8.

BibTeX

128.

C Alcaraz; L Cazorla; G. Fernández

Context-awareness using anomaly-based detectors for smart grid domains Artículo en actas

En: 2014.

BibTeX

129.

Liudmila Reyes-Álvarez; Yusniel Hidalgo-Delgado; María Mar Roldán-García; José F. Aldana-Montes

Exploring incremental reasoning approaches based on module extration Artículo en actas

En: Proc. of XII Congreso Internacional de Información. INFO 2014. Palacio de convenciones de la Habana, Cuba 14 al 18 de abril de 2014, 2014, ISBN: 978-959-234-094-7.

BibTeX

130.

Damián Adalid; María Mar Gallardo; Laura Titolo

Modeling hybrid systems in Hy-tccp Artículo en actas

En: Proc. of the Third International Workshop on Formal Techniques for Safety-Critical Systems. FTSCS 2014., 2014.

BibTeX

131.

José García-Nieto; Javier Ferrer; Enrique Alba

Optimising traffic lights with metaheuristics: reduction of car emissions and consumption Artículo en actas

En: IEEE, 2014, ISBN: 978-1-4799-1484-5.

BibTeX

132.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Towards a CVL process to develop agents for the IoT Artículo en actas

En: pp. 304–311, 2014, ISBN: 978-3-319-13101-6.

BibTeX

133.

Manuel López-Ibáñez; Arnaud Liefooghe; Sebastien Verel

Local Optimal Sets and Bounded Archiving on Multi-objective NK-Landscapes with Correlated Objectives Artículo en actas

En: 2014, ISBN: 978-3-319-10761-5.

BibTeX | Enlaces:

134.

Antonio J Nebro; Juan J Durillo; Mirialys Machín; Bernabé Dorronsoro; Carlos A Coello

A Study of the combination of variation operators in the NSGA-II algorithm Artículo en actas

En: pp. 269–278, 2013, ISBN: 978-3-642-40643-0.

BibTeX

135.

Raúl Lara-Cabrera; Carlos Cotta; Antonio J. Fernández-Leiva

A Procedural balanced map generator with self-adaptive complexity for the real-time strategy game planet wars Artículo en actas

En: and, Anna I. Esparcia-Alcázar (Ed.): Applications of evolutionary computation. 16th European Conference, EvoApplications 2013. Vienna, Austria, april 3-5, 2013. Proceedings, pp. 274–283, Springer, 2013, ISBN: 978-3-642-37191-2.

BibTeX

136.

R Lara-Cabrera; C Cotta; A J Fernandez-Leiva

A Review of computational intelligence in RTS games Artículo en actas

En: pp. 114–121, IEEE Computer Society, 2013, ISBN: 978-1-4673-5901-6.

BibTeX

137.

Antonio J. Nebro; Juan J. Durillo Carlos A. Coello Coello

Analysis of leader selection strategies in a multi-objective particle Swarm optimizer Artículo en actas

En: Proc. 2013 IEEE Congress on Evolutionary Computation. CEC 2013. Cancún, México, June 20-23, pp. 3153–3160, IEEE Computer Society, 2013, ISBN: 978-1-4799-0454-9.

BibTeX

138.

Antonio M Mora; Francisco Aisa; Ricardo Caballero; Pablo García; Juan Julián Merelo; Pedro A Castillo; Raúl Lara-Cabrera

Designing and evolving an unreal tournament™ 2004 expert bot Artículo en actas

En: pp. 312–323, Springer, 2013, ISBN: 978-3-642-38682-4.

BibTeX

139.

Roberto E López; Francisco Chicano; Javier Ferrer; Alexander Egyed; Enrique Alba

Multi-objective optimal test suite computation for software product line pairwise testing Artículo en actas

En: pp. 404–407, IEEE Computer Society, 2013, ISBN: 978-0-7685-4981-1.

BibTeX

140.

Francisco Javier Rivas; Almudena Díaz; Pedro Merino

Performance study of internet traffic on high speed railways Artículo en actas

En: pp. 1–9, IEEE Computer Society, 2013, ISBN: 978-1-4673-5828-6.

BibTeX

141.

Mónica Pinto; José M. Horcas

How to develop secure applications with aspect-oriented programming Artículo en actas

En: 2013.

BibTeX

142.

José Miguel Horcas Aguilera

Modeling of quality attributes using and aspect-oriented software-product line approach Artículo en actas

En: Proc. of European Conference on Software Architecture (ECSA), 2013. Doctoral Symposium: PhD Students Workshop, 2013.

BibTeX

143.

J. M. Horcas; M. Pinto; L. Fuentes

Variability and dependency modeling of quality attributes Artículo en actas

En: Proc. of 39th Euromicro Conference Series on Software Engineering and Advanced Applications. SEAA 2013, 4-6 september 2013, Santander, Spain, pp. 185–188, IEEE Computer Society, 2013, ISBN: 978-0-7695-5091-6.

BibTeX

144.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Abordando la heterogeneidad en la Internet de las cosas: una solución de agentes auto-configurables Artículo en actas

En: pp. 365–372, Universidad de Granada, 2013, ISBN: 84-616-5597-4.

BibTeX

145.

Eduardo Cañete; Jaime Chen; Manuel Díaz; Bartolomé Rubio

Performance analysis of a sensor linear network and priority queueing systems: network layer Vs. data link layer Artículo en actas

En: pp. 57–62, 2013, ISBN: 978-84-695-8334-0.

BibTeX

146.

Daniel H. Stolfi; Enrique Alba

Reducing gas emissions in smart cities by using the red swarm architecture Artículo en actas

En: pp. 289–299, Springer, 2013, ISBN: 978-3-642-40642-3.

BibTeX

147.

Laura Panizo; María Mar Gallardo

Verifying hybrid systems with explicit model checkers Artículo en actas

En: pp. 1–15, 2013, ISBN: 978-84-695-8331-9.

BibTeX

148.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes; Marco Mamei; Franco Zambonelli

Developing pervasive agent-based applications: a comparison of two coordination approches Artículo en actas

En: pp. 73–98, Springer, 2013, ISBN: 978-3-642-39865-0.

BibTeX

149.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Enhancing agent metamodels with self-management for AmI environments Artículo en actas

En: Luís Correira; Luís Paulo Reis; José Cascalho (Eds.). Progess in artificial intelligence: 16th Portuguese conference on artificial intelligence, EPIA 2013; Angra do Heroísmo, Azores, Portugal, september 9-12, 2013. Proceedings, Springer, 2013, ISBN: 978-3-642-40668-3.

BibTeX

150.

Javier Cubo; Nadia Gámez; Lidia Fuentes; Ernesto Pimentel

Composition and self-adaptation of service-based systems with feature models Artículo en actas

En: John Favaro; Maurizio Morisio, (eds.). Safe and secure software reuse: 13th international conference on software reuse, ICSR 2013. Pisa, Italy, june 18-20, 2013. Proceedings, Springer, Berlín, 2013, ISBN: 978-3-642-38976-4.

BibTeX

151.

David Nuñez; Carmen Fernandez-Gago; Siani Pearson; Massimo Felici

A Metamodel for measuring accountability attributes in the Cloud Artículo en actas

En: pp. 355–362, IEEE Computer Society, Los Alamitos, California, 2013, ISBN: 978-0-7685-5095-4.

BibTeX

152.

Antonio Muñoz; Antonio Maña

Bridging the GAP between software certification and trusted computing for securing Cloud computing Artículo en actas

En: En Proc. of 2013 IEEE ninth world congress on services. 27 june-2 july 2013, Santa Clara, California, pp. 103–110, IEEE Computer Society, Los Alamitos, California, 2013, ISBN: 978-0-7695-5024-4.

BibTeX

153.

Francisco Moyano; Carmen Fernández-Gago; Javier López

Building trust and reputation in: a development framework for trust models implementation Artículo en actas

En: Josang, Audun; Samarati, Pierangela; Petrocchi, Marinella (Ed.): Security and trust management: 8th International Workshop, STM 2012, Pisa, Italy, september 13-14. Revised selected papers, pp. 113–128, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-38003.

BibTeX

154.

Carolina Salto; Francisco Luna; Enrique Alba

Distributed evolutionary algorithms in heterogeneous environments Artículo en actas

En: Xhafa, Fatos; Barolli, Leonard; Nace, Dritan; Vinticinque, Salvatore; Bui, Alain (Ed.): 2013 Eightn international conference on P2P, parallel, grid, cloud and internet computing. 3PGCIC 2013. 28-30 october, pp. 606–611, IEEE Computer Society, Compiègne, France, 2013, ISBN: 978-0-7695-5094-7.

BibTeX

155.

Carolina Salto; Francisco Luna; Enrique Alba

Enhancing distributed EAs using proactivity Artículo en actas

En: Proc. of the 15th annual conference companion on genetic and evolutionary computation. GECCO'13 Companion, july 6-10, Amsterdam, The Netherlands, pp. 1747–1748, ACM, New York, USA, 2013, ISBN: 978-1-4503-1964-5.

BibTeX

156.

Sofiene Abidi; Saoussen Krichen; Enrique Alba; Juan M Molina

Improvement heuristic for solving the one-dimensional bin-packing problem Artículo en actas

En: pp. 1–5, IEEE Computer Society, 2013, ISBN: 978-1-4673-5814-9.

BibTeX

157.

Sofiene Abidi; Saoussen Krichen; Enrique Alba; Juan M. Molina

Improving interoperability of digital certificates for software & services Artículo en actas

En: Proc. of 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO), april, 28-30, 2013. Hammamet, Tunisia, pp. 185–192, IEEE Computer Society, Los Alamitos, California, 2013, ISBN: 978-0-7695-5024-4.

BibTeX

158.

Marioli Montenegro; Antonio Maña; Hristo Koshutanski

Improving security assurance of services through certificate profiles Artículo en actas

En: pp. 288–302, Springer-Verlag, 2013, ISBN: 978-3-642-45363-2.

BibTeX

159.

Gabriel Luque; Enrique Alba

Math oracles: a new way of designing efficient self-adaptive algorithms Artículo en actas

En: pp. 217–218, New York, USA, 2013, ISBN: 978-1-4503-1964-5.

BibTeX

160.

M Olguin-Carbajal; J Arellano-Verdejo; Enrique Alba

Micro-differential evolution with local search for high dimensional problems Artículo en actas

En: pp. 48–54, IEEE Computer Society, 2013, ISBN: 978-1-4799-0453-2.

BibTeX

161.

Cristina Alcaraz; Meltem Sönmez Turan

PDR: A Prevention, Detection and Response Mechanism for Anomalies in Energy Control Systems Artículo en actas

En: Hämmerli, Bernhard M.; Svendsen, Nils Kalstad; Lopez, Javier (Ed.): 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers, pp. 22–33, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-41484-8 (Print).

BibTeX

162.

Francisco Chicano; Gabriel Luque; Enrique Alba

Problem understanding through landscape theory Artículo en actas

En: En Proc. of the 15th annual conference companion on genetic and evolutionary computation. GECCO'13 Companion. Amsterdam, The Netherlands, july 06-10, pp. 1055–1062, ACM, New York, USA, 2013, ISBN: 978-1-4503-1964-5.

BibTeX

163.

Laura González; Javier Cubo; Antonio Brogi; Ernesto Pimentel; Rául Ruggia

Run-Time verification of behaviour-aware mashups in the internet of things Artículo en actas

En: pp. 318–330, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-45363-2.

BibTeX

164.

Samuel Paul Kaluvuri; Hristo Koshutanski; Francesco Di Cerbo; Antonio Maña

Security assurance of services through digital security certificates Artículo en actas

En: pp. 539–546, IEEE Computer Society, Los Alamitos, California, 2013, ISBN: 978-0-7685-5025-1.

BibTeX

165.

Cristina Alcaraz; Estefanía Etchevés; Stephen Wolthusen

Structural controllability of networks for non-interactive adversarial vertex removal Artículo en actas

En: Eric Luiijf; Pieter Hartel, eds. Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-319-03963-3 (Print).

BibTeX

166.

Lorena Cazorla; Cristina Alcaraz; Javier Lopez

Towards automatic critical infrastructure protection through machine learning Artículo en actas

En: Eric Luiijf; Pieter Hartel, eds. Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-319-03963-3.

BibTeX

167.

Lorena Cazorla; Cristina Alcaraz; Javier López

Towards engineering trust-aware future internet systems Artículo en actas

En: Hartel, Eric Luiijf; Pieter (Ed.): Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers, pp. 490–301, Springer-Verlag, 2013, ISBN: 978-3-642-38489-9.

BibTeX

168.

Francisco Moyano; Benoit Baudry; Javier Lopez

Towards trust-aware and self-adaptive systems Artículo en actas

En: pp. 255–262, Springer-Verlag, 2013, ISBN: 978-3-642-38322-9.

BibTeX

169.

Karel Osorio; Gabriel Luque; Enrique Alba

Using theory to self-tune migration periods in distributed genetic algorithms Artículo en actas

En: pp. 2595–2601, IEEE Computer Society, 2013, ISBN: 978-1-4799-0453-2.

BibTeX

170.

Javier Espinar; Antonio Maña; Hristo Koshutanski

Workflow operational assurance platform for security-by-desing certified service-based coalitions Artículo en actas

En: Proc. of 2013 IEEE ninth world congress on services. 27 june-2 july 2013, Santa Clara, California, pp. 84–91, IEEE Computer Society, Los Alamitos, California, 2013, ISBN: 978-8-7695-5024-4.

BibTeX

171.

Alberto Salmerón; Pedro Merino

A ns-2 module for objective VoIP call quality evaluation Artículo en actas

En: [Actas] de las XXI Jornadas de Concurrencia de Sistemas Distribuidos (JCSD 2013), celebradas en San Sebastián, junio, 2013.

BibTeX

172.

Ana-Rosario Espada; María-del-Mar Gallardo; Damián Adalid

A Runtime verification framework for ANDROID applications Artículo en actas

En: [Actas] de las XXI Jornadas de Concurrencia de Sistemas Distribuidos (JCSD 2013), celebradas en San Sebastián, junio, 2013.

BibTeX

173.

Ana-Rosario Espada; María-del-Mar Gallardo; Damián Adalid

DRAGONFLY: Encapsulating Android for instrumentation Artículo en actas

En: Actas de las XIII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF): Madrid, 17-20 de Septiembre de 2013, pp. 1–14, 2013, ISBN: 978-84-695-8331-9.

BibTeX

174.

Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal

MULTICLAPP: a framework for modeling and developing multicloud migratable applications Artículo en actas

En: pp. 399–412, 2013, ISBN: 978-84-695-8310-4.

BibTeX

175.

Javier Miranda; Joaquín Guillén; Javier Berrocal; Juan Manuel Murillo; Carlos Canal

Towards cloud-enabled mobile devices and applications Artículo en actas

En: pp. 97–102, 2013, ISBN: 978-84-695-8351-7.

BibTeX

176.

Javier Cubo; Laura González; Antonio Brogi; Ernesto Pimentel; Rául Ruggia

Towards run-time verification of compositions in the web of things using complex event processing Artículo en actas

En: pp. 147–154, 2013, ISBN: 978-84-695-8351-7.

BibTeX

177.

Javier Miranda; Joaquín Guillén; Javier Berrocal; Jose García; Juan Manuel Murillo; Jose Carlos Canal

Architecting infrastructures for Cloud-Enabled mobile devices Artículo en actas

En: pp. 277–287, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-45363-2.

BibTeX

178.

Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal

Assisting Cloud Service Migration Using Software Adaptation Techniques Artículo en actas

En: Proc. of 2013 IEEE sixth international conference on cloud computing. 27 june-2 july, 2013, Santa Clara, California, pp. 573–580, IEEE Computer Society, Los Alamitos, California, 2013, ISBN: 978-0-7685-5028-2.

BibTeX

179.

Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal

Development of adaptive multi-cloud applications: a model-driven approach Artículo en actas

En: pp. 321–330, 2013, ISBN: 978-989-8565-42-6.

BibTeX

180.

Manuel Díaz; Daniel Garrido; Luis Llopis; Enrique Soler; Sergio Romero

TEAM_K: a service oriented Kernel for soft real time simulations Artículo en actas

En: Actas de las XVI Jornadas de Tiempo Real. JTR 2013, Universitat Politècnica de València, 31 de enero y 1 de febrero, 2013.

BibTeX

181.

Dimitris A. Dervos; Martii Laiho; José F. Aldana-Montes; Päivi Riihelä

A DBTechNet prohect for VET teacher training on database SQL transactions Artículo en actas

En: Proc. of the 6th Balkan conference in informatics. BCI 2013, 19-21 september, Thessaloniki, Greece, pp. 149–155, ACM, New York NY. USA, 2013, ISBN: 978-1-4503-1851-8.

BibTeX

182.

Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Jose Carlos Canal

A UML profile for modeling multicloud applications service-oriented and cloud computing Artículo en actas

En: pp. 180–187, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-40650-8.

BibTeX

183.

Javier Troya; Javier Cubo; José Antonio Martín; Ernesto Pimentel; Antonio Vallecillo

Automated throughput optimization of Cloud services via Model-driven adaptation Artículo en actas

En: Proc. of the 1st. International Conference on Model-Driven Engineering and Software Development. MODELSWARD 2013. Barcelona, Spain, 19-21 february, 2013, SciTePress, 2013, ISBN: 978-989-8565-42-6.

BibTeX

184.

Carlos Cotta; Antonio J. Fernández-Leiva; Alberto Fuentes Sánchez; Raúl Lara-Cabrera

Car setup optimization via evolutionary algorithms Artículo en actas

En: Cabestany, Ignacio Rojas; Gonzalo Joya; Joan (Ed.): Advances in Computational Intelligence: 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, juner 12-14, 2013. Proceedings, part II, pp. 346–354, 2013, ISBN: 978-3-642-38682-4.

BibTeX

185.

Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal

Developing migratable multicloud applications based on MDE and adaptation techniques Artículo en actas

En: pp. 30–37, 2013, ISBN: 978-1-4503-2307-9.

BibTeX

186.

Jose Fran. Ruiz; Antonio Maña; Marcos Arjona; Janne Paatero

Emergency systems modelling using a security engineering process Artículo en actas

En: pp. 117–124, 2013, ISBN: 978-989-8565-20-4.

BibTeX

187.

Danny Hughes; Eduardo Cañete; Wilfried Daniels; Gowri Sankar R

Energy aware software evolution for wireless sensor networks Artículo en actas

En: pp. 1–9, IEEE Computer Society, 2013, ISBN: 978-1-4673-5828-6.

BibTeX

188.

Alberto Salmeron; Pedro Merino

On-the-fly VoIP call quality evaluation with improved E-model Artículo en actas

En: pp. 145–151, New York, 2013, ISBN: 978-1-4503-2371-0.

BibTeX

189.

Jaime Chen; Manuel Díaz; Bartolomé Rubio; José Mª Troya

RAISE: RAIlway in infrastructure health monitoring using wireless SEnsor networks Artículo en actas

En: Proc. of 4th International Conference on Sensor Systems and Software. S-CUBE 2013. June 11-12, Lucca, Italy, 2013.

BibTeX

190.

Daniel H. Stolfi; Enrique Alba

Red Swarm: Smart Mobility in Cities with EAs Artículo en actas

En: Proc. of the 2013 Genetic and Evolutionary Computation Conference. GECCO'13. July 6-10, 2013, Amsterdam, The Netherlands, ACM, New York, 2013, ISBN: 978-1-4503-1963-8.

BibTeX

191.

Jose Fran. Ruiz; Arjona M Fernández; Maña A Gómez; Niklas Carstens

Secure engineering and modelling of a metering devices system Artículo en actas

En: pp. 418–427, IEEE Computer Society, 2013, ISBN: 978-0-7695-5008-4.

BibTeX

192.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

An Evaluation of multiobjective urban tourist route planning with mobile devices Artículo en actas

En: José Bravo; Diego López-de-Ipiña; Francisco Moya (Eds.). Ubiquitous computing and ambient intelligence: 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, 2012, ISBN: 978-3-642-35376-5.

BibTeX

193.

Manuel Díaz; Daniel Garrido; Luis Llopis; Enrique Soler

A Distributed simulation tool on Windows Phone 7 Artículo en actas

En: Klumpp, Matthias (Ed.): Matthias Klumpp, (ed.). The 2012 European Simulation and Modelling Conference. Modelling and Simulation 2012. ESM 2012, october 22-24, 2012. Fom University of Appied Science. Essen, Germany, Eurosis-ETI, Belgium, 2012, ISBN: 978-90-77381-73-1.

BibTeX

194.

Cristina Alcaraz; Javier López

Addressing situational awareness in critical domains of a Smart Grid Artículo en actas

En: Xu, Li; Bertino, Elisa; Mu, Yi (Ed.): Li Xu; Elisa Bertino; Yi Mu (eds.). Network and System Security. 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings, Springer, Berlín, 2012, ISBN: 978-3-642-34600-2.

BibTeX

195.

J L Pastrana; E Pimentel; M Katrib

Available and reliable services Artículo en actas

En: pp. 233–238, 2012.

BibTeX

196.

Gustavo García Pascual; Mónica Pinto Alarcón; Lidia Fuentes Fernández

Component and aspect-based service product line for pervasive systems Artículo en actas

En: Grassi, Vincenzo; Mirandola, Raffaela; Medvidovic, Nenad; Larsson, Magnus (Ed.): Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering. CBSE 2012, Bertinoro, Italy, june 25-28, 2012, pp. 115–124, ACM, New York, NY, USA, 2012, ISBN: 978-1-4503-1345-2.

BibTeX

197.

J J Merelo; A M Mora; C Cotta

Finding fast solutions to the game of Mastermind Artículo en actas

En: Antonio José Fernández-Leiva; Carlos Cotta Porras y Raúl Lara Cabrera, (eds.). 13th International Conference on Intelligent Games and Simulation. GAME-ON 2012, EUROSIS-ETI, Málaga, España, 2012, ISBN: 978-9077381-74-8.

BibTeX

198.

Mariela Nogueira; Juan M Gálvez; Carlos Cotta; Antonio J Fernández-Leiva

Hall-of-Fame competitive coevolutionary algorithms for optimizing opponent strategies in a new game Artículo en actas

En: Antonio José Fernández-Leiva; Carlos Cotta Porras y Raúl Lara Cabrera, (eds.). 13th International Conference on Intelligent Games and Simulation. GAME-ON 2012, EUROSIS-ETI, Málaga, España, 2012, ISBN: 978-9077381-74-8.

BibTeX

199.

Raúl Lara-Cabrera; Carlos Cotta; Antonio J. Fernández-Leiva

Procedural map generation for a RTS game Artículo en actas

En: Fernández-Leiva, Antonio José; Porras, Carlos Cotta; Cabrera, Raúl Lara (Ed.): 13th International Conference on Intelligent Games and Simulation. GAME-ON 2012, EUROSIS-ETI, Málaga, España, 2012, ISBN: 978-9077381-74-8.

BibTeX

200.

Manuel Díaz; Daniel Garrido; Luis Llopis; Enrique Soler; Sergio Romero

TEAM_K: a new Kernel for soft real time simulations Artículo en actas

En: Klumpp, Matthias (Ed.): The 2012 European Simulation and Modelling Conference. Modelling and Simulation 2012. ESM 2012, october 22-24, 2012. Fom University of Appied Science. Essen, Germany, Eurosis-ETI, 2012, ISBN: 978-90-77381-73-1.

BibTeX

201.

Francisco Moyano; Carmen Fernández-Gago; Isaac Agudo; Javier López

A Task ordering approach for automatic trust establishment Artículo en actas

En: Barthe, Gilles; Livshits, Benjamin; Scandariato, Riccardo (Ed.): Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012. Eindhoven, The Netherlands, february 16-17, 2012. Proceedings, Springer, 2012, ISBN: 978-3-642-28165-5.

BibTeX

202.

V Ciancia; Fabio Martinelli; I Matteucci; M Petrocchi; J A Martín; E Pimentel

A Tool for the synthesis of cryptographic orchestrators Artículo en actas

En: pp. 1–21, ACM, 2012, ISBN: 978-1-4503-1806-8.

BibTeX

203.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Exploiting dynamic weaving for self-managed agents in the IoT Artículo en actas

En: Ingo J. Timm, Christian Guttmann; (eds.). Multiagent System Technologies: 10th German Conference, MATES 2012, Trier, Germany, october 10-12, 2012. Proceedings, Springer, Berlin, 2012, ISBN: 978-3-642-33689-8.

BibTeX

204.

Rubén Ríos; José A. Onieva; Javier López

HIDE_DHCP: covert communications through network configuration messages Artículo en actas

En: Gritzalis, Dimitris; Furnell, Steven; Theoharidou, Marianthi (Ed.): Information Security and Privacy Research: 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012. Heraklion, Crete, Greece, june 4-6, 2012. Proceedings. IFIP Advances in Información and Communication Technology; 376, Springer, 2012, ISBN: 978-3-642-30435-4.

BibTeX

205.

Ruben Rios; Jorge Cuellar; Javier Lopez

Robust probabilistic fake packet injection for receiver-location privacy in WSN Artículo en actas

En: Sara Foresti; Moti Yung and Fabio Martinelli (Eds.). Computer Security. ESORICS 2012: 17th European Symposium on Research in Computer Security. Pisa, Italy, september 10-12, 2012. Proceedings, Springer, 2012, ISBN: 978-3-642-33166-4.

BibTeX

206.

Ana Nieto; Javier López

Traffic classifier for heterogeneous and cooperative routing through wireless sensor networks Artículo en actas

En: Barolli, Leornard; Enokido, Tomoya; Xhafa, Fatos; Takizawa, Makoto (Ed.): 26th International Conference on Advanced Information Networking and Applications Workshops. Fukuoka Institute of Technology, Fukuoka, Japan, 26-29 march 2012. Proceedings, IEEE Computer Society, Los Alamitos, CA, 2012, ISBN: 978-0-7695-4652-0.

BibTeX

207.

Laura Panizo; María Mar Gallardo

Analyzing hybrid systems with JPF Artículo en actas

En: María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012, Universidad de Almería, 2012, ISBN: 978-84-15487-27-2.

BibTeX

208.

Damián Adalid; Alberto Salmerón; María Mar Gallardo; Pedro Merino

Testing temporal logic on infinite Java traces Artículo en actas

En: María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012, Universidad de Almería, 2012, ISBN: 978-84-15487-27-2.

BibTeX

209.

Francisco Moyano; Carmen Fernandez-Gago; Javier Lopez

A Conceptual framework for trust models Artículo en actas

En: Simone Fischer-Hübner; Sokratis Katsikas and Gerald Quirchmayr (Eds.). Trust, Privacy and Security in Digital Business: 9th International Conference, TrustBus 2012, Vienna, Austria, september 3-7, 2012. Proceedings, Springer, 2012, ISBN: 978-3-642-32286-0.

BibTeX

210.

Laura Panizo; Maria-del-Mar Gallardo

Generation of safe operations for dam management using formal methods Artículo en actas

En: XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, 2012.

BibTeX

211.

Alberto Salmerón; Pedro Merino

Integration of model checking and simulation for protocol analysis Artículo en actas

En: XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, 2012.

BibTeX

212.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

An Agent platform for self-configuring agents in the internet of things Artículo en actas

En: Proceedings of the Thirds International Workshop on Infrastructures and Tools for Multiagent Systems. ITMAS 2012. June 5, 2012 Valencia, Spain, Universidad Politècnica de València, 2012, ISBN: 978-84-8363-850-7.

BibTeX

213.

Pablo Nájera; Rodrigo Román Javier López

Secure architecture for the integration of RFID and sensors in personal networks Artículo en actas

En: Meadows, Catherine; Fernández-Gago, Carmen (Ed.): Security and Trust Managemtn: 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011. Revised Selected Papers, Springer, Berlin, 2012, ISBN: 978-3-642-29962-9.

BibTeX

214.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Self-management of ambient intelligence systems: a pure agent-based approach Artículo en actas

En: pp. 1427–1428, 2012, ISBN: 978-0-9817381-6.

BibTeX

215.

Javier Cubo; Antonio Brogi; Ernesto Pimentel

Behaviour-Aware compositions of things Artículo en actas

En: Proc. of 2012 IEEE International Conference on Green Computing and Communications Conference on Internet of Things, and Conference Cyber, Physical and Social Computing. GreenCom 2012., 2012.

BibTeX

216.

Andrés Álvarez; Almudena Díaz Zayas; Pedro Merino; Francisco Rivas

Mobile application profiling with TestelDroid Artículo en actas

En: Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV, IEEE Communications Society, 2012, ISBN: 978-1-4577-2069-7.

BibTeX | Enlaces:

217.

Javier Cubo; Ernesto Pimentel

On the Service discovery using context-awareness, semantic matching and behavioural compatibility Artículo en actas

En: Proc. of the 15th IEEE International Conference on Computational Science and Engineering. CSE 2012 and the 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing. EUC 2012, 5-7 december 2012, Paphos, Cyprus, pp. 259-266, IEEE Communications Society, Los Alamitos, CA, 2012, ISBN: 978-0-7695-4914-9.

BibTeX | Enlaces:

218.

Francisco Javier Rivas; Almudena Díaz Zayas; Pedro Merino

Testing of LTE configurations and applications Artículo en actas

En: En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012, Springer, Berlín, 2012, ISBN: 978-3-642-35575-2.

BibTeX

219.

Javier Cubo; Antonio Brogi; Ernesto Pimentel

Towards behaviour-aware compositions of things in the future internet Artículo en actas

En: Proc. of the 2nd. International Workshop on Adaptative Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012). 19 september 2012, Bertinoro, Italy, 2012, ISBN: 978-1-4503-1566-1.

BibTeX

220.

Mariela Nogueira Collado; Carlos Cotta; Antonio J. Fernández-Leiva

Apuntes del estudio sobre modelado, evaluación e incremento de la satisfacción del judador Artículo en actas

En: [actas] VIII Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB 2012. Albacete 8-10 de febrero de 2012, 2012, ISBN: 978-84-615-6931-1.

BibTeX

221.

Alberto Fuentes; Carlos Cotta; Antonio J Fernández-Leiva

Optimizando la configuración de coches en juegos de carreras mediante computación evolutiva Artículo en actas

En: [actas] VIII Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB 2012. Albacete 8-10 de febrero de 2012, 2012, ISBN: 978-84-615-6931-1.

BibTeX

222.

José García-Nieto; Enrique Alba; Ana C Olivera

Planificación de ciclos en semáforos con PSO: casos de estudio sobre Málaga y Sevilla Artículo en actas

En: José Antonio Gámez Martín; José Miguel Puerta Callejón; Francisco Parreño Torres y Luis de Ossa Jiménez, (eds.). VIII Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB 2012, Albacete, 8 al 10 de febrero de 2012, Universidad de Castilla-La Mancha, 2012, ISBN: 978-84-615-6931-1.

BibTeX

223.

David Mariscal; Antonio J Fernández-Leiva

Una Experiencia de diseño de controladores en juegos de carreras de coche mediante algoritmos evolutivos multiobjetivos y sistemas expertos Artículo en actas

En: [actas] VIII Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB 2012. Albacete 8-10 de febrero de 2012, 2012, ISBN: 978-84-615-6931-1.

BibTeX

224.

Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal

Developing cross-cloud migratable applications through the use of adaptation Artículo en actas

En: Proc. of 1st. Workshop on management of resources and services in Cloud and Sky computing (MICAS 2012) in conjunction with SYNASC 2012, Timisoara, Rumanía, 26 de september 2012, 2012.

BibTeX

225.

Peter Langendoerfer; Krzysztof Piotrowski; Manuel Díaz; Bartolomé Rubio

Distributed shared memory as an approach for integrating WSNs and cloud computing Artículo en actas

En: pp. 1–6, 2012, ISBN: 978-1-4673-0229-6.

BibTeX

226.

Javier Miranda Carpintero; Joaquín Guillén; Juan Murillo; Carlos Canal

Enough about standardization, Let´s build Cloud applications Artículo en actas

En: Proceedings Companion Volume. WICSA/ECSA 2012, Helsinki, Finland, august 20-24, 2012, ACM, New York, NY, USA, 2012, ISBN: 978-1-4503-1568-5.

BibTeX

227.

Jamal Toutouh; Sergio Nesmachnow; Enrique Alba

Evolutionary powr-aware routing in VANETs using Monte-Carlo simulation Artículo en actas

En: Proceeding of the 10th International Conference on High Performance Computing and Simulation (HPCS 2012), IEEE Computer Society, 2012, ISBN: 978-1-4673-2362-8.

BibTeX

228.

Andrés Álvarez; Almudena Díaz; Pedro Merino; Francisco Javier Rivas

Field measurements of mobile services with Android smartphones Artículo en actas

En: Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV, IEEE Communications Society, 2012, ISBN: 978-1-4577-2069-7.

BibTeX

229.

Jamal Toutouh; Enrique Alba

Green OLSR in VANETs with differential evolution Artículo en actas

En: Terence Soule (ed.). Proceedings of the fourteenth international conference on Genetic and Evolutionary Computation conference companion (GECCO Companion '12), ACM, 2012, ISBN: 978-1-4503-1178-6.

BibTeX

230.

Javier Miranda Carpintero; Joaquín Guillén; Juan Murillo; Carlos Canal

Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of Cloud SBAs Artículo en actas

En: Proc. of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashup (WAS4FI-Mashups 2012). 19 september 2012, Bertinoro, Italy, ACM, New York, NY, USA, 2012, ISBN: 978-1-4503-1566-1.

BibTeX

231.

Moisés Castelo; Javier Troya; Krzysztof Czarnecki; Jochen Küster; Hagen Völzer

Matching business process workflows across abstraction levels Artículo en actas

En: Robert B. France; Jürgen Kazmeier; Ruth Breu and Colin Atkinson (Eds.). Model driven engineering Languages and system: 15th international conference, MODELS 2012, Innsbruck, Austria, september 30-october 5, 2012, proceedings, Springer, Berlín, 2012, ISBN: 978-3-642-33665-2.

BibTeX

232.

Jamal Toutouh; Enrique Alba

Multi-Objective OLSR optimization for VANETs Artículo en actas

En: Proceedings of the 2012 IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 8-10 october 2012 in Barcelona, Spain, IEEE Computer Society, 2012, ISBN: 978-1-4673-1430-5.

BibTeX

233.

Jamal Toutouh; Enrique Alba

Parallel Swarm intelligence for VANETs optimization Artículo en actas

En: Proceedings of the seventh international conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2012), 12-14 november 2012, Victoria, British Columbia, Canada, IEEE Computer Society, 2012, ISBN: 978-0-7695-4881-8.

BibTeX

234.

José García-Nieto; Enrique Alba; Ana C Olivera

Particle Swarm optimization aplicado a la programación de los ciclos de semáforos en Bahía Blanca Artículo en actas

En: Anales del XVIII Congreso Argentino de Ciencias de la Computación. CACIC 2012, 8 al 12 de octubre de 2012, Bahía Blanca, Buenos Aires, Argentina, Universidad Nacional del Sur, 2012, ISBN: 978-087-1648-34-4.

BibTeX

235.

Ana Nieto; Javier López

Security and QoS tradeoffs: towards a FI perspective Artículo en actas

En: Leornard Barolli; Tomoya Enokido; Fatos Xhafa and Makoto Takizawa, (Eds.). 26th International Conference on Advanced Information Networking and Applications Workshops. Fukuoka Institute of Technology, Fukuoka, Japan, 26-29 march 2012. Proceedings, IEEE Computer Society, Los Alamitos, CA, 2012, ISBN: 978-0-7695-4652-0.

BibTeX

236.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Self-StarMAS: a multi-agent system for the self-management of AAL applications Artículo en actas

En: Llsun You...[et al.], (eds.). Sixth international conference on innovative mobile and internet services ubiquitous computing. IMIS 2012. 4-6 july 2012, Palermo, Italy, IEEE Computer Society, Los Alamitos, CA, 2012, ISBN: 978-0-7695-4684-1.

BibTeX

237.

F Siddiqui; S Zeadally; Cristina Alcaraz; S Galvao

Smart Grid privacy: issues and solutions Artículo en actas

En: Proc. of 2012 21st International Conference on Computer Communications and Networks (ICCCN), 30 July-2 August 2012, Munich, Germany, IEEE, 2012, ISBN: 978-1-4673-1544-9.

BibTeX

238.

A Reyna; G Valero; A Buenaventura; R Segovia

Sustainable water treatment process solutions based on life cycle assessment (LCA). (poster presentation) Artículo en actas

En: International Conference "Ecotechnologies for Wastewater Treatment(ecoSTP). Santiago de Compostela, june 25th-27th, 2012, 2012.

BibTeX

239.

Almudena Díaz; Pedro Merino; Francisco Javier Rivas

Test environment for QoS testing of VoIP over LTE Artículo en actas

En: Filip De Truck; Luciano Paschoal Gaspary; Deep Medhi, (eds.). Proceedings of the 2012 IEEE Network Operations and Management Symposium 16-20 aplil 2012, Maui, Hawaii, USA, IEEE Computer Society, Piscataway, NJ, 2012, ISBN: 978-1-4673-0268-5.

BibTeX

240.

Damián Adalid; Alberto Salmeron; María Mar Gallardo; Pedro Merino

Testing temporal logic on infinite Java traces Artículo en actas

En: pp. 37–47, SciTePress, 2012, ISBN: 978-989-8565-14-3.

BibTeX

241.

Chrysostomos Tsoukalas; Dimitris A Dervos; Jorge Martinez-Gil; José F Aldana-Montes

TheMa: an API for mining linked datasets Artículo en actas

En: pp. 449–453, 2012, ISBN: 978-0-7695-4825-8.

BibTeX

242.

José García-Nieto; Enrique Alba

Why six informants is optimal in PSO Artículo en actas

En: Proc. of the fourteenth international conference on Genetic and Evolutionary Computation. GECCO'12, july 7-11, 2012, Philadelphia, Pennsylvania, USA, ACM, New York, NY, USA, 2012, ISBN: 978-1-4503-1177-9.

BibTeX

243.

Javier Cubo; Nadia Gámez; José Antonio Martín; Lidia Fuentes

Contract-based discovery in sensor web Artículo en actas

En: Ernesto Pimentel and Valentín Valero (eds.). Fith workshop on languages and analysis of contract-oriented software. FLACOS'11. Málaga, Spain, 22 and 23 september 2011. Proceedings, 2011.

BibTeX

244.

Javier Cubo; Nadia Gámez; José Antonio Martín; Lidia Fuentes

Contracts for security adaptation Artículo en actas

En: Purificación Arenas; Víctor M. Gulías y Pablo Nogueira (eds.). XI Jornadas sobre programación y lenguajes. PROLE 2011. A Coruña, 5-7 de septiembre de 2011, Universidde da Coruña, 2011, ISBN: 978-84-9749-487-8.

BibTeX

245.

María-Victoria Belmonte; Manuel Díaz; Ana Reyna

Coalitions and incentives for content distribution over a secure peer-to-peer middleware Artículo en actas

En: Proc. of the third international conference on advances in P2P systems. AP2PS 2011. November 20-25, 2011. Lisbon, Portugal, 2011, ISBN: 978-1-61208-173-1.

BibTeX

246.

Francisco Chicano; Enrique Alba

Comparing metaheuristic algorithms for error detection in Java programs Artículo en actas

En: Myra B. Cohen; Mel Ó Cinneide (eds.). Search based software engineering: third International symposium, SSBSE2011. Szeged, Hungary, September 10-12, 2011. Proceedings, pp. 82–96, Springer, Berlín, 2011, ISBN: 978-3-642-23716-4.

BibTeX

247.

Francisco Chicano; Javier Ferrer; Enrique Alba

Elementary landscape descomposition of the test suite minimization problem Artículo en actas

En: Myra B. Cohen; Mel Ó Cinneide (eds.). Search based software engineering: third International symposium, SSBSE2011. Szeged, Hungary, September 10-12, 2011. Proceedings, Springer, Berlín, 2011, ISBN: 978-3-642-23716-4.

BibTeX

248.

José García Nieto; Enrique Alba

Empirical computation of the quasi-optimal number of informants in particle swarm optimization Artículo en actas

En: Natalio Krasnoger; Pier Luca Lauzi (eds.). 13th Annual genetic and evolutionary computation conference, GECCO 2011. Proceedings, Dublin, Ireland, July 12-16, 2011, ACM, 2011.

BibTeX | Enlaces:

249.

Francisco Chicano; Francisco Luna; Antonio Nebro; Enrique Alba

Using multi-objective metaheuristics to solve the software project scheduling problem Artículo en actas

En: Krasnoger, Natalio; Lauzi, Pier Luca (Ed.): 13th Annual genetic and evolutionary computation conference, GECCO 2011. Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 1915-1922, Genetic and Evolutionary Computation Conference, GECCO'11, 2011, ISBN: 978-1-4503-0557-0.

BibTeX

250.

Cristina Alcaraz; Isaac Agudo; David Núñez; Javier López

Managing Incidents in Smart Grid à la Cloud Artículo en actas

En: 2011 Third IEEE International Conference on Cloud Computing Technology and Science. 29 november- 1 december, 2011, Athens, Greece. Proceedings, IEEE Computer Society, 2011, ISBN: 978-0-7695-4622-3.

BibTeX | Enlaces:

251.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Modeling context-awareness in agents for ambient intelligence: an aspect-oriented approach Artículo en actas

En: Luis Antunes; H. Sofia Pinto (eds.). Progress in artificial intelligence. 15th Portuguese conference on artificial intelligence. EPIA 2011. Lisbon, Portugal, october 10-13, 2011. Proceedings, Springer-Verlag, Berlín, 2011, ISBN: 978-3-642-24768-2.

BibTeX

252.

Rodrigo Román; Javier López; Cristina Alcaraz; Hsiao-Hwa Chen

SenseKey. simplifying the selection of key management schemes for sensor networks Artículo en actas

En: 25th IEEE International conference on advanced information networking and applications workshops. Biopolis, Singapore 22-25 march 2011. Proceedings, pp. 789-794, IEEE Computer Society, Los Alamitos, CA, 2011, ISBN: 978-0-7695-4338-3.

BibTeX | Enlaces:

253.

Almudena Díaz; Pedro Merino

Testing and profiling internet services in mobile devices Artículo en actas

En: Witold Abramowicz...[et.al], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings, Springer-Verlag, Berlín, 2011, ISBN: 978-3-642-24754-5.

BibTeX

254.

Eckhard Ammann; Ismael Navas-Delgado; José F Aldana-Montes

Towards an ontology for enterprise knowledge management Artículo en actas

En: pp. 4–10, 2011, ISBN: 978-1-61208-175-5.

BibTeX

255.

Eduardo Cañete; Manuel Díaz; Luis Llopis; Bartolomé Rubio

A Cluster-Based quantitative reliability model Artículo en actas

En: Hamid R. Arabnia (Ed.). Proceedings of the 2011 international conference on parallel and distributed processing techniques and applications. PDPTA 2011. July 18-21, 2011. Las Vegas Nevada, USA, CSREA Press, 2011.

BibTeX

256.

Carlos Cotta; Antonio J Fernández-Leiva

Bio-Inspired combinatorial optimization: notes on reactive and proactive interation Artículo en actas

En: Joan Cabestany, Ignacio Rojas, Gonzalo Joya Caparrós (Eds.): Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Springer, Berlín, 2011, ISBN: 978-3-642-21497-4.

BibTeX

257.

Javier Cubo; Ernesto Pimentel

DAMASCo: A Framework for the Automatic Composition of Component-Based and Service Artículo en actas

En: Crnkoniv, Ivica; Gruhn, Volker; Book, Matthias (Ed.): Software Architecture: 5th European Conference, ECSA 2011, Esse, Germany, september 13-16, 2011. Proceedings, pp. 388-404, Springer, Berlin, 2011, ISBN: 978-3-642-23797-3.

BibTeX | Enlaces:

258.

Antonio J Fernández-Leiva; Jorge L O´Valle

Decision tree-based algorithms for implementing bot AI in UT2004 Artículo en actas

En: José Manuel Ferrández,...[et. al] (Eds.): Foundations on Natural and Artificial Computation: 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 La Palma, Canary Islands, Spain, May 30-June 3, 2011, Springer, Berlín, 2011, ISBN: 978-3-642-21343-4.

BibTeX

259.

José A García; Carlos Cotta; Antonio J Fernández-Leiva

Design emergent and adaptive virtual players in a war RTS game Artículo en actas

En: José Manuel Ferrández,...[et. al] (Eds.): Foundations on Natural and Artificial Computation: 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 La Palma, Canary Islands, Spain, May 30-June 3, 2011, Springer, Berlín, 2011, ISBN: 978-3-642-21343-4.

BibTeX

260.

Javier Espinar; Carlos Cotta; Antonio J Fernández-Leiva

On the Use of human-guided evolutionary algorithms for tackling 2D packing problems Artículo en actas

En: José Manuel Ferrández,...[et. al] (Eds.): Foundations on Natural and Artificial Computation: 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 La Palma, Canary Islands, Spain, May 30-June 3, 2011, Springer, Berlín, 2011, ISBN: 978-3-642-21343-4.

BibTeX

261.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Towards the automatic derivation of MALACA agents using MDE Artículo en actas

En: Springer, Berlín, 2011, ISBN: 978-3-642-22635-9.

BibTeX

262.

María-del-Mar Gallardo; Laura Panizo

Extending model checkers for hybrid system verification: the case study of Spin Artículo en actas

En: pp. 84–98, Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, 2011, ISBN: 84-96737-99-0.

BibTeX

263.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

Client Update: a Solution for Service Evolution Artículo en actas

En: Jacobsen, Hans-Arno; Wang, Yang; Hung, Patrick (Ed.): 2011 IEEE International Conference on Services Computing. SCC 2011. 4-9 July 2011, Washington, DC, USA. Proceedings, IEEE Computer Society, Los Alamitos, CA, 2011, ISBN: 978-0-7695-4462-5.

BibTeX | Enlaces:

264.

Antonio Muñoz; Rajesh Harjani; Antonio Maña; Rodrigo Díaz

Dynamic security monitoring and accounting for virtualized enviroments Artículo en actas

En: pp. 182–189, Springer, Berlín, 2011, ISBN: 978-3-642-22364-8.

BibTeX

265.

José Luis Pastrana Brincones; Daniel Garrido Márquez; José María Nieto Caldera; Elena Bañares España; Guillermo Thode Mayoral; Enrique Viguera Mínguez

Informática en el Grado de Biología Artículo en actas

En: pp. 101-105, Universidad de Málaga, 2011, ISBN: 978-84-15524-01-4.

BibTeX

266.

Pablo Antón; Antonio Maña; Antonio Muñoz; Hristo Koshutanski

Live Interactive Frame Technology Alleviating Children Stress and Isolation during Hospitalization Artículo en actas

En: pp. 92-100, Springer, Berlín, 2011, ISBN: 978-3-642-21302-1.

BibTeX | Enlaces:

267.

Adrian Waller; Ian Sandy; Eamonn Power; Efthimia Aivaloglou; Charalapos Skianis; Antonio Muñoz; Antonio Maña

Policy based management for security in cloud computing Artículo en actas

En: pp. 130–137, Springer, Berlín, 2011, ISBN: 978-3-642-22364-8.

BibTeX

268.

Antonio Muñoz; Pablo Antón; Antonio Maña

Static Mutual Approach for Protecting Mobile Agent Artículo en actas

En: pp. 51-58, Advances in Intelligent and Soft Computing, 2011, ISBN: 978-3-642-19933-2.

BibTeX | Enlaces:

269.

José Campo-Ávila; Nathalie Moreno-Vergara; Mónica Trella-López

Analizying factors to increase the influence of a twitter user Artículo en actas

En: J. B. Pérez, et al. (Eds.). Highlighths in practical applications of agents and multiagent systems: 9th international conference. (Advances in intelligent and soft computing; 89), Springer, Berlín, 2011, ISBN: 978-3-642-19916-5.

BibTeX

270.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

Measuring the compatibility of service interaction protocols Artículo en actas

En: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC'11), pp. 1560-1567, Proceedings of the ACM Symposium on Applied Computing, New York, NY, USA, 2011, ISBN: 978-1-44503-0113-8.

BibTeX | Enlaces:

271.

David Urdiales-Nieto; José F Aldana-Montes

Towards designing and efficient crawling window to analysis and annotate changes in linked data sources Artículo en actas

En: Proc. of 1st. International workshop on linked web data management. LWDM 2011. Uppsala, Sweden. March 21-25, 2011, ACM Press, 2011, ISBN: 978-1-4503-0608-9.

BibTeX

272.

María Victoria Belmonte; Manuel Díaz; A. Reyna

A Coalition based incentive mechanism for P2P content distribution systems Artículo en actas

En: Proceedings of the 3rd. international conference on agents and artificial intelligence. ICAART 2011. Rome, Italy, January 28-30, 2011, 2011, ISBN: 978-989-8425-41-6.

BibTeX

273.

Damián Adalid; María-del-Mar Gallardo; Pedro Merino; Alberto Salmerón

TJT: testing temporal logic in JAVA programs Artículo en actas

En: pp. 1–18, Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, 2011, ISBN: 84-96737-99-0.

BibTeX

274.

Gimena Pujol; Antonio Maña; Claudia Pandolfo

A Distributed secure ontology for certified services oriented applications (to appear) Artículo en actas

En: IEEE Computer Society, Los Alamitos, CA, 2011.

BibTeX

275.

Eckhard Ammann; Ismael Navas-Delgado; José F Aldana-Montes

A Semantic-supported knowledge development conception Artículo en actas

En: Proceedings book of work congress on engineering. WCE2011. London, UK, 6-8 July, 2011, Newswood Limited, 2011, ISBN: 978-988-19251-4-5.

BibTeX

276.

I Ayala; M Amor; L Fuentes

Autonomic agents for mobile ambient assisted living applications Artículo en actas

En: José Bravo; Diego López-de-Piña; Sergio Ochoa y Jesús Favela (Eds.). 5th International symposium on ubiquitous computing and ambient intelligence. UCAmI 2011. Conference proceedings. Riviera Maya, Mexico, december 5-9, 2011, ISBN: 978-84-694-9677-0.

BibTeX

277.

D Pastor-Rubia; Mar M Roldán-García; I Navas-Delgado; J F Aldana-Montes

DTEKT: semantic classification for medical diagnosis Artículo en actas

En: Riccardo Bellazzi and Paolo Romano (eds.). Clinical bioinformatics. 11th international workshop. NETTAB 2011. Network tools and application in biology. October 12th-14th 2011, Collegio Ghislieri, Pavia, Italy, 2011.

BibTeX

278.

Francisco Chicano; Enrique Alba

Exact computation of the expectation curves of the bit-flip mutation using landscapes theory Artículo en actas

En: Krasnoger, Natalio; Lauzi, Pier Luca (Ed.): 13th Annual genetic and evolutionary computation conference, GECCO 2011. Proceedings, Dublin, Ireland, July 12-16, pp. 2027-2034, Genetic and Evolutionary Computation Conference, GECCO'11, 2011, ISBN: 978-1-4503-0557-0.

BibTeX | Enlaces:

279.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

Multiobjective tourist urban route planning with mobile device Artículo en actas

En: José Bravo; Diego López-de-Piña; Sergio Ochoa y Jesús Favela (Eds.). 5th International symposium on ubiquitous computing and ambient intelligence. UCAmI 2011. Conference proceedings. Riviera Maya, Mexico, december 5-9, 2011, ISBN: 978-84-694-9677-0.

BibTeX

280.

Jesús Martínez; Adrián Romero; Antonio Jesús Bandera; Juan Pedro Bandera

Nerve: a lightweight middleware for quality-of-service networked robotics Artículo en actas

En: pp. 655–660, IEEE Computer Society, 2011, ISBN: 978-0-7695-4367.

BibTeX

281.

Números separables Artículo en actas

En: XIII Conferència Interamericana de Educaçåo Matemática. CIAEM 2011. 26 a 30 de junho, Recife, Brasil. (cd-rom), pp. 1-10, Universidade Federal de Pernambuco, 2011, ISBN: 978-85-63823-01-4.

BibTeX

282.

Ana Reyes; Carlos Cotta; Antonio J Fernández-Leiva

Towards user-centric memetic algorithms: experiences with TSP Artículo en actas

En: Joan Cabestany, Ignacio Rojas, Gonzalo Joya Caparrós (Eds.): Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Springer, Berlín, 2011, ISBN: 978-3-642-21497-4.

BibTeX

283.

Abdelaali Briache; Kamar Marrakchi; Amine Kerzazi; Ismael Navas-Delgado; José F Aldana-Montes; Badr Din Rossi Hassani; Khalid Lairini

YeastMed: an XML-based system for biological data integration of yeast Artículo en actas

En: Albert Burger...[et. al], (eds.). Semantic web applications and tools for life sciences 2010. SWAT4L-2010. Proceedings of the workshop on (...). Berlin, Germany, December 10, 2010. Ceur Workshop Proceedings; 698, CEUR-WS.org, 2011.

BibTeX

284.

Eckhard Ammann; Manuela Ruiz-Montiel; Ismael Navas-Delgado; José F Aldana-Montes

A Knowledge development conception and its implementation: knowledge ontology, rule system and application scenarios Artículo en actas

En: pp. 60–65, IARIA, 2010, ISBN: 978-1-61206-001-7.

BibTeX

285.

Gabriel Luque; Francisco Luna; Enrique Alba

A New parallel cooperative model for trajectory based metaheuristics Artículo en actas

En: Andre Ponce de Leon F. de Carvalho...[at al],(eds.). Distributed computing and artificial intelligence: 7th International Symposium, Springer, Berlin, 2010, ISBN: 978-3-642-14882-8.

BibTeX

286.

Francisco Luna; Juan J Durillo; Antonio J Nebro; Enrique Alba

A Scatter search approach for solving the automatic cell planning problem Artículo en actas

En: Ivan Lirkov; Svetozar Margenov y Jerzy Wasniewski (eds.). Large-scale scientific computing: 7th International Conference, LSSC 2009. Sozopol, Bulgaria, June 4-8, 2009. Revised papers, Springer, Berlín, 2010, ISBN: 978-3-642-12534-8.

BibTeX

287.

Antonio Nebro; Juan Durillo

A Study of the parallelization of the multi-objective metaheuristic MOEA/D Artículo en actas

En: y Roberto Battiti, Christian Blum (Ed.): Learning and intelligent optimization: 4th international conference, LION 4. Venice, Italy, January 18-22, 2010. Selected Papers, pp. 303-317, Springer, Berlín, 2010, ISBN: 978-3-642-13799-0.

BibTeX | Enlaces:

288.

Adaptation contracts for security-enabled services (Abstract) Artículo en actas

En: Proceedings of the first international workshop on component and service interoperability. WCSI'10. June 29, 2010. Málaga, Spain, 2010.

BibTeX

289.

Alberto Salmerón; Pedro Merino

Combining SPIN with ns-2 for protocol optimization Artículo en actas

En: van de Pol, Jaco; Weber, Michael (Ed.): Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 978-3-642-16163-6.

BibTeX | Enlaces:

290.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

Quantifying Service Compatibility: A Step Beyond the Boolean Approaches Artículo en actas

En: Maglio, Paul P.; Weske, Mathias; Yang, Jian; Fantinato, Marcelo (Ed.): Service-Oriented computing: 8th International conference, ICSOC 2010. San Francisco, CA, USA, December 7-10, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 978-3-642-17357-8.

BibTeX | Enlaces:

291.

Gabriel Luque; Enrique Alba

Selection pressure and takeover time of distributed evolutionary algorithms Artículo en actas

En: Genetic and Evolutonary Computation Conference. GECCO 2010. Wednesday-Sunday, July 7-11, 2010 Portland, Oregon, pp. 1083-1088, ACM Press, 2010, ISBN: 978-1-4503-0072-8.

BibTeX | Enlaces:

292.

Meriem Ouederni; Gwen Salaün

Tau be or not Tau be? a perspective on service compatibility and substitutability Artículo en actas

En: Proceedings of the first international workshop on component and service interoperability. WCSI'10. June 29, 2010. Málaga, Spain, 2010.

BibTeX

293.

Juan J Durillo; Antonio J Nebro; Enrique Alba

The jMetal framework for multi-objective opitmization: design and architecture Artículo en actas

En: Proceedings of the IEEE world congress on computational intelligence. CEC 2010. Barcelona, Spain. 18-23 july, 2010, IEEE Press, 2010, ISBN: 978-1-4244-6910-9.

BibTeX

294.

F Luna; L Ossa; E Alba; J A Gámez; A J Nebro; J M Puerta

AEDs para el diseño de redes de telecomunicaciones Artículo en actas

En: En Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

295.

Julian Domínguez; Gabriel Luque; Enrique Alba

Influencia de parámetros físicos en el comportamiento numérico de metaheurísticas paralelas Artículo en actas

En: Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., 2010, ISBN: 978-84-92812-58-5.

BibTeX

296.

Gabriel Luque; Enrique Alba

Resolución de problemas de optimización usando la biblioteca MALLBA Artículo en actas

En: Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., 2010, ISBN: 978-84-92812-58-5.

BibTeX

297.

José A. Montenegro; Javier López; Rene Peralta

Computación segura multiparte aplicada a subastas electrónicas Artículo en actas

En: Yannis Dimitriadis y María Jesús Verdú Pérez (eds.). IX Jornadas de Ingeniería Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010, 2010, ISBN: 978-84-693-5398-1.

BibTeX

298.

Francisco Chicano; Enrique Alba

Descomposición en landscapes elementales del problema de la suma de subconjunto Artículo en actas

En: Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

299.

Isaac Agudo; Jose A Onieva; Daniel Merida

Distribución segura de componentes software basada en OpenID Artículo en actas

En: XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 de septiembre 2010, Publicaciones URV, 2010, ISBN: 978-84-693-3304-4.

BibTeX

300.

Almudena Díaz Zayas; Pedro Merino Gómez

Evaluación de los mecanismos de handover implementados en redes comerciales de telefonía móvil Artículo en actas

En: Yannis Dimitriadis y María Jesús Verdú Pérez (eds.). IX Jornadas de Ingeniería Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010, UVa, Valladolid, 2010, ISBN: 978-84-693-5398-1.

BibTeX

301.

Jorge Martínez-Gil; José F. Aldana-Montes

Evaluation of two heuristic approaches to solve the ontology-metamatching problem Artículo en actas

En: Ernest Teniente y Silvia Abrahão (eds.). Actas de las XV Jornadas de ingeniería del software y bases de datos. JISBD 2010, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-51-6.

BibTeX

302.

María Jesús García-Godoy; Amine Kerzazi; Ismael Navas-Delgado; José F Aldana-Montes

Generation of Biopax level 3 instances integrated data Artículo en actas

En: Alfonso Valencia Herrera; Victoria Martín Requena y Oswaldo Trelles Salazar (eds.). X Jornadas de Bioinformática: workshop on bioinformatics for personalized medicine. Malaga, Spain 27-29 october 2010. Book of abstracts, 2010.

BibTeX

303.

Rubén Rios Pozo; Isaac Agudo; Jose Luis González

Implementación de un esquema de localización privada y segura para interiores Artículo en actas

En: Yannis Dimitriadis y María Jesús Verdú Pérez (eds.). IX Jornadas de Ingeniería Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010, UVa, Valladolid, 2010, ISBN: 978-84-693-5398-1.

BibTeX

304.

María Mar Roldán-García; Ismael Navas-Delgado; Amine Kerzazi; Othmane Chniber; Joaquín Molina-Castro; José F Aldana-Montes

KA-SB: from data integration to large scale reasoning Artículo en actas

En: Ernest Teniente y Silvia Abrahão (eds.). Actas de las XV Jornadas de ingeniería del software y bases de datos. JISBD 2010, Ibergarceta Publicaciones, S.L., 2010, ISBN: 978-84-92812-51-6.

BibTeX

305.

Antonio J Martín; Ernesto Pimentel

Scalable discovery of behavioural services through software adaptation Artículo en actas

En: Víctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-55-4.

BibTeX

306.

Abdelaali Briache; Kamar Marrakchi; Amine Kerzazi; Ismael Navas; José Francisco Aldana; Badr Din Rossi Hassani; Khalid Lairini

Towards an efficient integration of yeast data Artículo en actas

En: Alfonso Valencia Herrera; Victoria Martín Requena y Oswaldo Trelles Salazar (eds.). X Jornadas de Bioinformática: workshop on bioinformatics for personalized medicine. Malaga, Spain 27-29 october 2010. Book of abstracts, 2010.

BibTeX

307.

David Urdiales-Nieto; José F. Aldana-Montes

A More specific events classification to improve crawling techniques Artículo en actas

En: Meersman, Robert; Dillon, Tharam; Herrero, Pilar (Ed.): On the Move to meaningful internet systems: OTM 2010 workshops: confederated international workshops and posters...Hersonissos, Crete, Greece, october 25-29, 2010. Proceedings., Springer, Berlín, 2010, ISBN: 978-3-642-16960-1.

BibTeX

308.

Francisco Chicano; Gabriel Luque; Enrique Alba

Elementary landscape decomposition of the quadratic assignment problem Artículo en actas

En: Proc.of Genetic and Evolutonary Computation Conference. GECCO 2010. Wednesday-Sunday, July 7-11, 2010 Portland, Oregon, pp. 1425-1432, ACM, New York, 2010, ISBN: 978-1-4503-0072-8.

BibTeX | Enlaces:

309.

Francisco Chicano; Gabriel Luque; Enrique Alba

Elementary landscapes of frequency assignment problems Artículo en actas

En: Proc.of Genetic and Evolutonary Computation Conference. GECCO 2010. Wednesday-Sunday, July 7-11, 2010 Portland, Oregon, ACM Press, New York, 2010, ISBN: 978-1-4503-0072-8.

BibTeX

310.

Antonio J Martín; E Pimentel

Feature-Based discovery of services with adaptable behaviour Artículo en actas

En: Proc. of the 8th IEEE European conference on web sercices. ECOWS'10. December 1-3, 2010. Ayian Napa, Cyprus, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4310-9.

BibTeX

311.

Javier Troya; José E Rivera; Antonio Vallecillo

On the Specification of non-functional properties of systems by observation Artículo en actas

En: Sudipto Ghosh (ed.). Models in software engineering: workshops and symposia at MODELS 2009. Denver, CO, USA, october 4-9, 2009. Reports and revised selected papers, Springer, Berlín, 2010, ISBN: 978-3-642-12260-6.

BibTeX

312.

Javier Troya; José Rivera; Antonio Vallecillo

Simulating domain specific visual models by observation Artículo en actas

En: Proceedings of symposium on theory of modeling and simulation. DEVS 2010. Orlando, Florida, USA. April 11-15, 2010, pp. 128, 2010, ISBN: 1-56555-342-X.

BibTeX | Enlaces:

313.

Javier Troya; Antonio Vallecillo

Towards a rewriting logic semantics for ATL Artículo en actas

En: Tratt, Laurence; Gogolla, Martin (Ed.): Theory and practice of model transformations: third international conference, ICMT 2010. Málaga, Spain, june 28-july 2, 2010. Proceedings, pp. 230-244, Springer, Berlín, 2010, ISBN: 978-3-642-13687-0.

BibTeX | Enlaces:

314.

T. Richardson; A. J. Wellings; J. A. Dianes; M. Diaz

Towards memory management for service-oriented real-time systems Artículo en actas

En: Proceedings of the 8th International Workshop on Java technologies for real-time and embedded systems. JTRES 2010. 19-21 August 2010. Prague, Czech Republic, ACM, New York, 2010, ISBN: 978-1-4503-0122-0.

BibTeX

315.

María-del-Mar Gallardo; David Sanán

Verification of dynamic data tree with mu-calculus extended with separation Artículo en actas

En: Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4153-2.

BibTeX

316.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

A Model driven development of platform-neutral agents Artículo en actas

En: pp. 3–14, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 3-642-16177-4.

BibTeX

317.

An ECTS Experience in Sophomore Programming Courses in the University of Málaga Artículo en actas

En: Proc. of International technology, education and development conference. INTED 2010. Valencia (Spain), 8th-10th of march, 2010, Valencia, Spain, 2010, ISBN: 978-84-613-5538-9.

BibTeX

318.

Amparo Civila Salas; Antonio Fernández J Leiva

Aprendizaje autónomo, metodologías cooperativas y enfoque holístico en universidad Artículo en actas

En: 2010, ISBN: 978-84-8458-324-0.

BibTeX

319.

Juan J Merelo; Antonio M Mora; Thomas P Runarsson; Carlos Cotta

Assessing efficiency of different evolutionary strategies playing MasterMind Artículo en actas

En: pp. 38–45, 2010, ISBN: 978-1-4244-6297-1.

BibTeX

320.

Aleksander Byrski; Robert Schaefer; Maciej Smolka; Carlos Cotta

Asymptotic analysis of computational multi-agent systems Artículo en actas

En: pp. 475–484, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 3-642-15843-9.

BibTeX

321.

Laura Panizo; María-del-Mar Gallardo; Pedro Merino; David Sanán; Antonio Linares

Dam management based on model checking techniques Artículo en actas

En: pp. 9–13, Consiglio Nazionale delle Ricerche, Pisa, Italy, 2010, ISBN: 978-88-7958-006-9.

BibTeX

322.

Carlos Cotta; Juan Merelo J Guervós; Antonio Mora M García; Thomas Philip Runarsson

Entropy-Driven evolutionary approaches to the mastermind problem Artículo en actas

En: pp. 421–431, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 3-642-15870-6.

BibTeX

323.

Miguel Frade; Francisco Fernandez Vega; Carlos Cotta

Evolution of artificial terrains for video games based on accessibility Artículo en actas

En: Cecilia Di Chio,... [et al.] (eds.). Applications of evolutionary computation: EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC. Istanbul, Turkey, April 7-9, 2010. Proccedings, Part I, Springer, Berlín, 2010, ISBN: 978-3-642-12238-5.

BibTeX

324.

M Frade; Fernández F Vega; Carlos Cotta

Evolution of artificial terrains for video games based on obstacles edge length Artículo en actas

En: Proc. of IEEE World Congress on Computational Intelligence. WCCI 2010. Barcelona, Spain (Forthcoming), IEEE Press, 2010.

BibTeX

325.

María-del-Mar Gallardo; Laura Panizo

Extending PROMELA and SPIN for hybrid system analysis80 Artículo en actas

En: Proceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS'10. Düsseldorf, Germany. September 20-23, 2010, 2010.

BibTeX

326.

Carlos Cotta

Keeping the ball rolling: teaching strategies using wikipedia: an argument in favor of its use in computer science courses Artículo en actas

En: Proceedings of the 2nd International Conference on Computer Supported Education. CSEDU 2010. Valencia, Spain, Portugal, 2010, ISBN: 978-989-674-023-8.

BibTeX

327.

Carlos Cotta

On the Use of attitudinal activities in ects experiences to foster studen engagemen in the course: a case study in programming courses Artículo en actas

En: L. Gómez Chova; D. Martí Belenguer and I. Candel Torres (eds.). Proc. of International conference on education and new learning technologies. EDULEARN10. 5-7 de Julio, Barcelona, Spain, IATED, 2010, ISBN: 978-84-613-9386-2.

BibTeX

328.

Amparo Civila Salas; Antonio Fernández J Leiva

El Aprendizaje cooperativo frente al aprendizaje competitivo en Universidad: colaboración o rivalidad Artículo en actas

En: Universidad Europea de Madrid, 2010, ISBN: 978-84-95433-45-9.

BibTeX

329.

David Rodríguez Rueda; Carlos Cotta; Antonio J. Fernández Leiva

Un Problema de diseño de plantillas: un enfoque metaheurístico basado en búsqueda local Artículo en actas

En: pp. 743–750, Ibergaceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

330.

María-del-Mar Gallardo; David Sanán

Verification of dynamic data tree with mu-calculus extended with separation Artículo en actas

En: Víctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-55-4.

BibTeX

331.

Kamar Marrakchi; Abdelaali Briache; Amine Kerzazi; Ismael Navas-Delgado; José Francisco Aldana-Montes; Mohamed Ettayebi; Khalid Lairini; Badr Din Rossi Hassani

A Data warehouse approach to semantic integration of pseudomonas data Artículo en actas

En: pp. 90–105, Springer-Verlag, 2010, ISBN: 3-642-15119-1.

BibTeX

332.

Jhon Edgar Amaya; Carlos Cotta; Antonio Fernández J Leiva

A Memetic cooperative optimization schema and its application to the tool switchin problem Artículo en actas

En: pp. 445–454, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 3-642-15843-9.

BibTeX

333.

Jose Luis Pastrana; Ernesto Pimentel; Miguel Katrib

COMPOSITOR: una herramienta para la generación de conectores Artículo en actas

En: pp. 53–58, Braga, Portugal, 2010, ISBN: 978-989-69247-2-6.

BibTeX

334.

Mercedes Amor; Inmaculada Ayala; Lidia Fuentes

A4VANET: context-axare JADE-LEAP agents for VANETS Artículo en actas

En: pp. 279–284, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 978-3-642-12383-2.

BibTeX

335.

J A Dianes; M Díaz; B Rubio

ServiceDDS: a framework for real-time P2P systems integration Artículo en actas

En: pp. 233–237, IEEE Computer Society, 2010.

BibTeX

336.

Jorge Martínez-Gil; Enrique Alba; José F Aldana-Montes

Statistical stuty about existing OWL ontologies from a significant sample as previous step for their alignment Artículo en actas

En: pp. 980–985, IEEE Computer Society, Los Alamitos, CA, 2010.

BibTeX

337.

Francisco Durán; José Meseguer

A Church-Rosser checker tools for conditional order-sorted equational Maude specifications Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlín, 2010, ISBN: 3-642-16309-2.

BibTeX

338.

Francisco Durán; José Meseguer

A Maude coherence checker tool for conditional order-sorted rewrite theories Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlín, 2010, ISBN: 3-642-16309-2.

BibTeX

339.

Antonio Muñoz; Antonio Maña; Pablo Antón

A Solution based on cryptographip hardware to protect agents Artículo en actas

En: Tomoya Enokido...[et.al],(eds.). Proceedings of the 13th international conferenc on network-based information systems. NBiS 2010. 14-16 september 2010, Takayama, Gifu, Japan, pp. 400-407, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4167-9.

BibTeX | Enlaces:

340.

David Rosado; Eduardo Fernández-Medina; Javier López

A Study of security approaches for the development of mobile grid systems Artículo en actas

En: J. Cordeiro, M. Virvou, B. Shishkov (ed.). Proceedings of the 5th international conference on software and data technologies. ICSOFT 2010, pp. 133-138, 2010, ISBN: 978-989-8425-22-5.

BibTeX

341.

Enrique Alba; Briseida Sarasola

ABC. A New performance tool for algorithms solving dynamic optimization problems Artículo en actas

En: Proceedings of the IEEE world congress on computational intelligence. CEC 2010. Barcelona, Spain. 18-23 july, 2010, IEEE, Piscataway, USA, 2010, ISBN: 978-1-4244-6910-9.

BibTeX

342.

N. Gámez; Lidia Fuentes

FAmIWare: a middleware family for ambient intelligence Artículo en actas

En: Lidia Fuentes; Nadia Gámez y José Bravo (Eds.). Actas del IV international symposium of ubiquitous computing and ambient intelligence, Ibergarceta Publicaciones, S.L., 2010, ISBN: 978-84-92812-61-5.

BibTeX

343.

Zoltán Miklós; Nicolas Bonvin; Paolo Bouquet; Michele Catasta; Daniele Cordioli; Peter Fankhauser; Julien Gaugaz; Ekaterini Ioannou; Antonio Maña; Hristo Koshutanski; Claudia Niederée; Themis Palpanas; Heiko Stoermer

From Web data to entities and back Artículo en actas

En: Barbara Pernici (ed.). Advaced information systems engineering: 22nd. International Conference, CAiSE 2010. Hammamet, Tunisia, June 7-9, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 978-3-642-13093-9.

BibTeX

344.

In the Track of the agent protection: a solution based on cryptographic hardware Artículo en actas

En: Igor Kotenko; Victor Skormin (eds.). Computer network security: 5th International conference on mathematical methods, models and architectures for computer network security. MMM-ACNS 2010. St. Petersburg, Russia, September 8-10, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 978-3-642-14705-0.

BibTeX

345.

Measuring fitness degradation in dynamic optimization problems Artículo en actas

En: Cecilia Di Chio...[et al.], (eds.). Applications of evolutionary computation: EvoApplications 2010...Istanbul, Turkey, april 7-9, 2010. Proceedings, Part I, Berlín, 2010, ISBN: 978-3-642-12238-5.

BibTeX

346.

José E Rivera; Francisco Durán; Antonio Vallecillo

On the Behavioral semantics of real-time domain specific visual languages Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlín, 2010, ISBN: 978-3-642-16309-8.

BibTeX

347.

On the Combination of domain specific modeling languages Artículo en actas

En: Thomas Kühne; Bran Selic; Marie-Pierre Gervais and Françoas Terrier (eds.). Modelling foundations and applications: 6th European conference, ECMFA 2010. Paris, France, june 15-18, 2010. Proceedings, Springer, Berlin, 2010, ISBN: 978-3-643-13594-1.

BibTeX

348.

On the Synchronization of ODP textual and graphical specifications Artículo en actas

En: Proceedings of 2010 14th IEEE international enterprise distributed object computing conference workshops. EDOCW 2010. 25-29 October 2010. Vitória, Brazil, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4164-8.

BibTeX

349.

Jesús Martínez; Adrián Romero-Garcés; Ricardo Vázquez-Martín; Antonio Bandera

Recipes for designing high-performance and robust software for robots Artículo en actas

En: Proc. of IEEE conference on robotics, automation and mechatronics. RAM 2010. 28-30 junio, 2010. Singapore, IEEE, 2010.

BibTeX

350.

Francisco Durán; Manuel Roldán; Jean-Christophe Bach; Emilie Balland; Mark Brand; James R Cordy; Steven Eker; Luc Engelen; Marrtje Jonge; Karl Tryve Kalleberg; Lennart C L Kats; Pierre-Etienne Moreau; Eelco Visser

The Third rewrite engines competition Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlin, 2010, ISBN: 978-3-642-16309-8.

BibTeX

351.

Rodrigo Roman; Pablo Najera; Javier Lopez

Acceso seguro a redes de sensores en Scada a través de internet Artículo en actas

En: Josep Domingo Ferrer...[et.al], (coord.). XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 de septiembre 2010, pp. 337–342, Publicaciones URV, Tarragona, 2010, ISBN: 978-84-693-3304-4.

BibTeX

352.

J Toutouh; J García-Nieto; E Alba

Configuración óptima del protocolo de encaminamiento OLSR para VANETs mediante evolución diferencial Artículo en actas

En: En En Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

353.

Marioli Montenegro; Pablo Antón; Antonio Maña; Antonio Muñoz

El Paradigma del agente aplicado en la ingeniería de inteligencia ambiental Artículo en actas

En: XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 de septiembre 2010, Publicaciones URV, Tarragona, 2010, ISBN: 978-84-693-3304-4.

BibTeX

354.

Antonio Fernández J Leiva; Jorge L O´Valle

Quizás Turing pensaba en videojuegos...experiencias en el contexto del Unreal Tournament Artículo en actas

En: Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

355.

Briseida Sarasola; Enrique Alba

Un Estudio sobre el grado de dinamismo en el problema VRP con pedidos dinámicos Artículo en actas

En: Vicente Campos,...[et.al], (eds.). Actas del MAEB 2010: VII Congreso español sobre metaheurísticas, algoritmos evolutivos y bioinspirados, Ibergarceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

356.

Javier Cubo; Michele Sama; Karim Rahimpur; David Rosenblum

A Model to design and verify context-aware adaptive service composition Artículo en actas

En: Proceedings of the 15th Conference on Software Engineering and Databases (JISBD'10) - Relevant Work Dissemination Track, Valencia (Spain) 2010 (CEDI'10), LibroTeX & Grupo Editorial Garceta, 2010.

BibTeX

357.

María-del-Mar Gallardo; Laura Panizo

An approach to verify hybrid systems with SPIN Artículo en actas

En: Victor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010, Gaceta grupo editorial, Madrid, 2010, ISBN: 978-84-92812-55-4.

BibTeX

358.

Pedro Merino; Alberto Salmerón

Analysis and optimization of video download on mobile devices Artículo en actas

En: XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), 2010, ISBN: 978-84-89900-38-7.

BibTeX

359.

Agustín Ortíz; Manuel Díaz

Entorno operativo ligero para el desarrollo de aplicaciones distribuidas sobfe el Bus Can Artículo en actas

En: Actas del XVII seminario anual de automática, electrónica industrial e instrumentación. SAAEI 2010. Bilbao 7,8 y 9 de Julio, 2010.

BibTeX

360.

María Rosario Muñoz Marín; Blas Carlos Ruiz Jiménez; Manuel Ruiz Muñoz

Estudio de un problema de trasvases desde la teoría elemental de números Artículo en actas

En: pp. 251–258, 2010, ISBN: 978-84-935760-3-5.

BibTeX

361.

Antonio Maña; Rajesh Harjani; José F. Ruíz; Antonio Muñoz

Infraestructura para el mantenimiento y evolución de seguridad y dependabilidad en escenarios de computación dinámica Artículo en actas

En: XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 septiembre 2010, Publicaciones URV, Tarragona, 2010, ISBN: 978-84-693-3304-4.

BibTeX

362.

Jhon Edgar Amaya; Carlos Cotta Porras; Antonio José Fernández Leiva

Método de Cross Entropy para la solución del problema de conmutación de herramientas Artículo en actas

En: pp. 701–708, Ibergaceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

363.

Almudena Díaz Zayas; Pedro Merino Gómez

SymPA: una herramienta para la caracterización del rendimiento de aplicaciones móviles en entornos celulares (demostración) Artículo en actas

En: Yannis Dimitriadis y María Jesús Verdú Pérez (eds.). IX Jornadas de Ingeniería Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010, 2010, ISBN: 978-84-693-5398-1.

BibTeX

364.

María Rosario Muñoz Marín; Blas Carlos Ruiz Jiménez; Manuel Ruiz Muñoz

Trasvases entre vasijas inconmensurables Artículo en actas

En: Actas de las XIV jornadas para el aprendizaje y enseñanza de las matemáticas. Girona 2009, Federación española de sociedades de profesores de matemáticas (FESPM), 2010, ISBN: 978-84-614-2382-8.

BibTeX

365.

Pablo Antón; Antonio Muñoz; Antonio Maña

Una Metodología para la protección mutua automática de sistemas multiagentes Artículo en actas

En: Josep Domingo Ferrer...[et.al], (coord.). XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 de septiembre 2010, Publicaciones URV, Tarragona, 2010, ISBN: 978-84-693-3304-4.

BibTeX

366.

Javier Cámara; Carlos Canal; Nikolay Vasilev

A Framework for run-time behavioural service adaptation in ubiquitous computing Artículo en actas

En: Robert Meersman; Tharam Dillon; Pilar Herrero (Eds.). On the Move to meaningful internet systems: OTM 2010 workshops: confederated international workshops and posters...Hersonissos, Crete, Greece, october 25-29, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 3-642-16960-0.

BibTeX

367.

E Ammann; Ismael Navas-Delgado; José F Aldana-Montes

A Model-Based taxonomy of knowledge development scenarios Artículo en actas

En: 2010, ISBN: 978-988-17012-9-9.

BibTeX

368.

Pablo Vidal; Enrique Alba

A Multi-GPU implementation of a cellular genetic algorithm Artículo en actas

En: Proceedings of the IEEE world congress on computational intelligence. CEC 2010. Barcelona, Spain. 18-23 july, 2010, IEEE, Piscataway, USA, 2010, ISBN: 978-1-4244-6910-9.

BibTeX

369.

Martín Bilbao; Enrique Alba

CHC and SA applied to wind energy optimization using real data Artículo en actas

En: Proceedings of the IEEE world congress on computational intelligence. CEC 2010. Barcelona, Spain. 18-23 july, 2010, IEEE, Piscataway, USA, 2010, ISBN: 978-1-4244-6910-9.

BibTeX

370.

Javier Cubo; Carlos Canal; Ernesto Pimentel

Context-Aware service discovery and adaptation based on semantic matchmaking Artículo en actas

En: Guadalupe Ortíz Bellot; Hideyasu Sasaki; Matthias Ehmann y Cosmin Dini (eds.). The Fifth international conference on internet and Web applications and services, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4022-1.

BibTeX

371.

Martii Laiho; Dimitris A Dervos; José F Aldana-Montes; Fritz Laux

DBTech EXT: education and hands-on training for the database professional Artículo en actas

En: pp. 15–22, Springer, Berlín, 2010, ISBN: 978-3-642-15575-8.

BibTeX

372.

Esteban Calderón; Jaime Chen; Bartolomé Rubio

DDS4RIS: a DDS implementation for wireless sensor networks Artículo en actas

En: Proc. of 2010 International conference on computer and information technology, World Academy of Science, Engineering and Technology, 2010.

BibTeX

373.

Almudena Díaz; Pedro Merino

Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks Artículo en actas

En: Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010., IEEE Computer Society, Piscataway, USA, 2010, ISBN: 978-1-4244-5637-6.

BibTeX

374.

Jose Angel Dianes; Manuel Díaz; Bartolomé Rubio

Habitat: a DDS-based service framework for smart spaces Artículo en actas

En: pp. 289–296, Piscataway, N.Y., 2010, ISBN: 978-1-4244-8229-0.

BibTeX

375.

Javier Cubo; Ernesto Pimentel; Gwen Salaün; Carlos Canal

Handling data-based concurrency in context-aware service protocols Artículo en actas

En: Mohammad Reza Mousavi and Gwen Saläun (eds.). EPTCS: proceedings ninth international workshop on the foundations of coordination languages and software architectures. Paris, France, 4th september 2010, 2010.

BibTeX

376.

Gabriela Minetti; Enrique Alba

Metaheuristic assemblers of DNA strands: noiseless and noisy cases Artículo en actas

En: Proceedings of the IEEE world congress on computational intelligence. CEC 2010. Barcelona, Spain. 18-23 july, 2010, IEEE, Piscataway, USA, 2010, ISBN: 978-1-4244-6910-9.

BibTeX

377.

Optimal configuration of OLSR routing protocol for VANETs by means of differential evolution Artículo en actas

En: Proc. of International conference on metaheuristics and nature inspired computing. META'10. October 27th-31th, 2010.

BibTeX

378.

Quality attributes for software metamodels Artículo en actas

En: Proc. of 13th TOOLS workshop on quantitatives approaches in object-oriented software engineering. QAAOSE 2010. July 2nd. Málaga, Spain, 2010.

BibTeX

379.

Sigrid Gürgens; Günter Rudolph; Antonio Maña; Simin Nadjm-Tehrani

Security engineering for embedded systems: the SecFutur vision Artículo en actas

En: 2010, ISBN: 978-1-4503-0368-2.

BibTeX

380.

Rubén Rios Pozo; Javier Lopez

Source location privacy considerations in wireless sensor networks Artículo en actas

En: Actas del International symposium of ubiquitous computing and ambient intelligence (UCAmI 2010), Ibergaceta Publicaciones S.L., Madrid, 2010, ISBN: 978-84-92812-61-5.

BibTeX

381.

Antonio J Martín; E Pimentel

Synthesis and analysis of adaptors through security contracts Artículo en actas

En: Proc. of 4th Workshop on formal languages and analysis of contract-oriented software. FLACOS 2010. Pisa, Italy, September 17-18, 2010.

BibTeX

382.

Manuela Ruíz-Montiel; Joaquín J Molina-Castro; José F Aldana-Montes

TasTicWiki: a Semantic Wiki with content recomemendation Artículo en actas

En: pp. 31–40, 2010.

BibTeX

383.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Towards the automatic derivation of Malaca agents using MDE Artículo en actas

En: pp. 61–72, 2010.

BibTeX

384.

Wireless sensor networks and internet of things. do we need a complete integration Artículo en actas

En: Proc. of 1st. international workshop on the security of the internet of things.SecLoT 10. Tokyo (Japan), november 29, 2010.

BibTeX

385.

A Middleware family for VANETs Artículo en actas

En: Pedro M. Ruíz: Jose Joaquin Garcia-Luna-Aceves (Eds.). Ad-Hoc, Mobile and Wireless Networks: 8th International Conference, ADHOC-NOW 2009. Murcia, Spain, September 22-25, 2009. Proceedings, Springer, Berlin, 2009, ISBN: 3-642-04382-8.

BibTeX

386.

Lidia Fuentes; Nadia Gámez

Modeling the context-awareness service in an aspect-oriented middleware for AmI Artículo en actas

En: Juan M. Corbacho; Dante I. Tapia and José Bravo (eds.). 3rd. Symposium of Ubiquitous Computing and Ambient Intelligence 2008. Advances in Soft Computing; 51, Springer, Berlin, 2009, ISBN: 978-3-540-85866-9.

BibTeX

387.

A Graphical approach for modeling time-dependent behavior of domain specific languages Artículo en actas

En: pp. 51–55, IEEE Computer Society, 2009, ISBN: 978-1-4244-4876-0.

BibTeX

388.

Eduardo Cañete; Jaime Chen; Luis Llopis; Bartolomé Rubio

Case Study: tractor safety; avoiding overturns and farmland monitoring using Wsans and the Useme framework Artículo en actas

En: pp. 202–206, IADIS Press, 2009, ISBN: 978-972-8924-97-3.

BibTeX

389.

Developing a communications architecture based on WCF for use in nuclear power plant simulators Artículo en actas

En: pp. 171–175, IADIS Press, 2009, ISBN: 978-972-8924-97-3.

BibTeX

390.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Developing a decision support tool for dam management with SPIN Artículo en actas

En: María Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 210–212, Springer, Berlin, 2009, ISBN: 3-642-04569-3.

BibTeX

391.

Eduardo Cañete; Jaime Chen; Luis Llopis; Rafael Marcos; Bartolomé Rubio

Dynamic adaptation in wireless sensor networks using nuronal networks Artículo en actas

En: pp. 3–7, IADIS Press, 2009, ISBN: 978-972-8924-97-3.

BibTeX

392.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo

Integration of quantitative aspects into SPIN to develop a decision support tool for dams Artículo en actas

En: pp. 95–100, 2009.

BibTeX

393.

MaSiMe: a customized similarity measure and its application for tag cloud refactoring Artículo en actas

En: pp. 937–946, Springer, Berlin, 2009, ISBN: 3-642-05289-4.

BibTeX

394.

Ismael Navas-Delgado; Alejandro Real-Chicharro; David Urdiales-Nieto; Francisca Sánchez-Jiménez; José F Aldana-Montes

SBMM assistamt: social pathway annotation Artículo en actas

En: pp. 42–44, LiberodiScrivere Edizioni, 2009, ISBN: 978-88-7388-242-8.

BibTeX

395.

David Urdiales-Nieto; Francisco R Villatoro; Miguel A Medina; Francisca Sánchez-Jiménez; José F Aldana-Montes

Structural kinetic modeling of polyamine metabolism in mammals Artículo en actas

En: pp. 28–32, 2009.

BibTeX

396.

Termination modulo combinations of equational theories Artículo en actas

En: pp. 246–262, Springer, Berlin, 2009, ISBN: 3-642-04221-X.

BibTeX

397.

Manuel Clavel; Francisco Durán; Steven Eker; Santiago Escobar; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer; Carolyn Talcott

Unification and narrowing in Maude 2.4 Artículo en actas

En: pp. 380–390, Springer, Berlin, 2009, ISBN: 3-642-02347-9.

BibTeX

398.

Sonia Estévez-Martín; Antonio Fernández; Fernando Sáenz-Pérez

Cooperation of the finite domain and set solvers in TOY Artículo en actas

En: pp. 217–226, 2009, ISBN: 978-84-692-4600-9.

BibTeX

399.

A J Fernández; P Guerrero

Jornadas de alumnos de informática sobre juegos. Una metáfora de congreso docente como sistema de evaluación dentro del marco del EEES Artículo en actas

En: pp. 185, Vicerreitoría de Formación e Innovación Educativa; Unv. de Vigo, 2009.

BibTeX

400.

Sonia Estévez-Martín; Antonio Fernández; Fernando Sáenz-Pérez

TOY: a system for experimentig with cooperation of constraint domains Artículo en actas

En: pp. 119–128, 2009, ISBN: 978-84-692-4600-9.

BibTeX

401.

Almudena Díaz; Pedro Merino

Caracterización del perfil de consumo de energía de servicios IP sobre teléfonos móviles Artículo en actas

En: Actas de las VIII Jornadas de Ingeniería Telemática. JITEL 2009. 15 al 17 de septiembre. Cartagena, España, 2009.

BibTeX

402.

Almudena Díaz; Cristina Martínez; Pedro Merino

Evaluación del servicio de VOIP sobre redes UMTS basada en pruebas de campo reales Artículo en actas

En: pp. to appear, 2009.

BibTeX

403.

Rafael J Caro; Daniel Garrido; Pierre Plaza; Rodrigo Román; Nuria Sanz; José Luis Serrano

SMEPP: a secure middleware for embedded P2P Artículo en actas

En: pp. CD-ROM, IIMC International Information Management Corporation lTd., Dublin, Ireland, 2009, ISBN: 978-1-905824-12-0.

BibTeX

404.

Javier Cubo; Carlos Canal; Ernesto Pimentel; Gwen Salaün

A Formal model and composition language for context-aware service protocols Artículo en actas

En: pp. 17–20, ACM, 2009, ISBN: 978-1-60558-707-3.

BibTeX

405.

Agent protection based on the use of cryptographic hardware Artículo en actas

En: pp. 312–317, IEEE Computer Society, Los Alamitos, USA, 2009, ISBN: 978-0-7695-3726-9.

BibTeX

406.

Javier Cámara; Carlos Canal; Gwen Salaün

Behavioural adaptation of services in ubiquitous computing environments Artículo en actas

En: pp. 28–37, IEEE Computer Society, 2009, ISBN: 978-1-4244-3743-6.

BibTeX

407.

Daniel Serrano; José F Ruíz; Álvaro Armenteros; Beatriz Gallego-Nicasio Crespo; Antonio Muñoz; Antonio Maña

Development of applications based on security patterns Artículo en actas

En: pp. 111–116, IEEE Computer Society, Los Alamitos, USA, 2009, ISBN: 978-0-7695-3666-8.

BibTeX

408.

Facilitating controlled tests of website design changes: a systematic approach Artículo en actas

En: pp. 370–378, Springer, Berlin, 2009, ISBN: 978-3-642-02817-5.

BibTeX

409.

Lourdes Araujo; Juan J Merelo; Antonio Mora; Carlos Cotta

Genotypic differences and migration policies in an island model Artículo en actas

En: pp. 1331–1338, ACM Press, 2009, ISBN: 978-1-60558-325-9.

BibTeX

410.

Javier Cámara; José Antonio Martín; Gwen Salaün; Javier Cubo; Meriem Ouederni; Carlos Canal; Ernesto Pimentel

ITACA: an integrated toolbox for the automatic composition and adaptation of web services Artículo en actas

En: pp. 627–630, IEEE Computer Society, 2009, ISBN: 978-1-4244-3453-4.

BibTeX

411.

Javier Cámara; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel

On Behavioural interfaces and contracts for software adaptation Artículo en actas

En: pp. 3–8, University of Oslo, 2009, ISBN: 82-7368-345-1.

BibTeX

412.

T Richardson; A J Wellings; J A Dianes; M Díaz

Providing temporal isolation in the OSGi framework Artículo en actas

En: pp. 1–10, ACM, 2009, ISBN: 978-1-60558-732-5.

BibTeX

413.

Manuel Díaz; Daniel Garrido; Ana Reyna

SMEPP and the internet of things Artículo en actas

En: pp. CD-ROM, 2009.

BibTeX

414.

Almudena Díaz; Pedro Merino

SymPA: a measurement tool for evaluating the performance of IP services in mobile networks Artículo en actas

En: pp. 103–106, ACM, New York, 2009, ISBN: 978-1-60558-619-9.

BibTeX

415.

Antonio Muñoz; Antonio Maña; Marioli Montenegro

A Harware based approach for protecting multi-agent systems Artículo en actas

En: Edited by Antonio Palma dos Reis. Proceedings of the IADIS international conference on intelligent systems and agents (ISA 2009). Algarve, Portugal 21-23 june 2009, 2009, ISBN: 978-972-8924-87-4.

BibTeX

416.

AVISPA in the validation of ambient intelligence scenarios Artículo en actas

En: International conference on availability, reliability and security. ARES 2009. 16-19 march 2009. Fukuoka, Fukuoka Prefecture, Japan, IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3564-7.

BibTeX

417.

Complete OWL-DL reasoning using relational databases Artículo en actas

En: Sourav S. Bhowmick, Josef Küng and Roland Wagner (Eds.). Database and Expert Systems Applications: 20th International Conference, DEXA2009. Linz, Austria, August 31- September 4, 2009. Proceedings, Springer, Berlin, 2009, ISBN: 3-642-03572-8.

BibTeX

418.

Hardware protection of agents in ubiquitous and ambient intelligence environments Artículo en actas

En: Yves Demazeau; Juan Pavón, Juan M. Corchado and Javier Bajo (Eds.). 7th International conference on practical applications of agents and multi-agent systems (PAAMS 2009). Advances in intelligent and soft computing; 55, Springer-Verlag, Berlín, 2009, ISBN: 978-3-642-00486-5.

BibTeX

419.

Protected computing approach: towards the mutual protection of agent computing Artículo en actas

En: Yves Demazeau; Juan Pavón; Juan M. Corchado and Javier Bajo (Eds.). 7th International conference on practical applications of agents and multi-agent systems (PAAMS 2009). Advances in intelligent and soft computing; 55, Springer-Verlag, Berlín, 2009, ISBN: 978-3-642-00486-5.

BibTeX

420.

SecMiLiA: an approach in the agen protection Artículo en actas

En: International conference on availability, reliability and security. ARES 2009. 16-19 march 2009. Fukuoka, Fukuoka Prefecture, Japan, IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3564-7.

BibTeX

421.

Security and dependability in ambient intelligence scenarios: the communication prototype Artículo en actas

En: José Cordeiro; Joaquim Filipe (eds.). ICEIS 2009. Proceedings of the 11th international conference on enterprise information systems, 2009, ISBN: 978-989-8111-86-9.

BibTeX

422.

Security patterns, towards a further level Artículo en actas

En: Eduardo Fernández-Medina; Manu Lalek; Javier Hernando (eds.). SECRYPT 2009, Proceedings of the International Conference on Security and Cryptography, Milan, Italy, July 7-8, 2009, INSTICC Press, 2009, ISBN: 978-989-674-005-4.

BibTeX

423.

Ismael Navas-Delgado; María Mar Roldán-García; José F Aldana-Montes

Semantic fields: finding ontology relationships Artículo en actas

En: Sourav S. Bhowmick, Josef Küng and Roland Wagner (Eds.). Database and Expert Systems Applications: 20th International Conference, DEXA 2009. Linz, Austria, August 31- September 4, 2009. Proceedings, Springer, Berlin, 2009, ISBN: 3-642-03572-8.

BibTeX

424.

The Role of trusted computing in secure agent migration Artículo en actas

En: André Flory and Martine Collard (Eds.). Proceedings of the IEEE international challenges in information science. RCIS 2009. Fez, April 22-24, Morocco, IEEE, 2009, ISBN: 978-1-4244-2865-6.

BibTeX

425.

Trusted computing: the cornerstone in the secure migration library for agents Artículo en actas

En: Yves Demazeau; Juan Pavón; Juan M. Corchado and Javier Bajo (Eds.). 7th International conference on practical applications of agents and multi-agent systems (PAAMS 2009). Salamanca, Spain, 25-27 March 2009. Advances in Intelligent and Soft Computing; 55, Springer-Verlag, Berlín, 2009, ISBN: 978-3-642-00486-5.

BibTeX

426.

Ismael Navas-Delgado; Amine Kerzazi; José F Aldana-Montes

Un Editor de Modelos OWL-S: OWL-S Modeller Artículo en actas

En: José L. Álvarez,... et al. (eds.). Actas del Taller de Trabajo Zoco'09/ JISBD, Sístedes, 2009.

BibTeX

427.

María Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Dam management using SCADE suite Artículo en actas

En: pp. 287–296, Universidad Politécnica de Valencia, 2009, ISBN: 978-84-8363-423-3.

BibTeX

428.

María Mar Gallardo; Pedro Merino; David Sanán

Model checking dynamic data structures in operating systems Artículo en actas

En: pp. 3–16, Universidad Politécnica de Valencia, 2009, ISBN: 978-84-8363-423-3.

BibTeX

429.

Eduardo Cañete; Jaime Chen; Manuel Díaz; Luis Llopis; Bartolomé Rubio

A Service-Oriented middleware for wireless sensor and actor networks Artículo en actas

En: Proceedigns of the 2009 Sixth International Conference on Information Technology: new generations. 27-29 april 2009. Las Vegas, Nevada, USA, IEEE Computer Society, Los Alamitos, CA, 2009.

BibTeX

430.

José Eduardo Rivera; Esther Guerra; Antonio Vallecillo; Juan Lara

Analyzing rule-based behavioral semantics of visual modeling languages with Maude Artículo en actas

En: Dragan Gasevic, et al. (eds.). Software Language Engineering: First International Conference, SLE 2008. Toulouse, France, September 29-30, 2008. Revised Selected Papers, Springer, Berlin, 2009, ISBN: 978-3-642-00433-9.

BibTeX

431.

José Eduardo Rivera; José Raúl Romero; Antonio Vallecillo

Behavior, time and viewpoint consistency: three challenges for MDE Artículo en actas

En: Michael R. V. Chaudron (ed.). Models in Software Engineering: Workshops and Symposia at MODELS 2008. Toulouse, France, September 20- October 3, 2008. Reports and Revised Selected Papers, Springer, Berlin, 2009, ISBN: 3-642-01647-2.

BibTeX

432.

Jorge Martínez-Gil; Antonio J Roa-Valverde; José F Aldana-Montes

Boosting annotated web services in SAWSDL Artículo en actas

En: Sigeru Omatu, et al. (Eds.). IWANN 2009 Workshops. Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, Springer, Berlin, 2009, ISBN: 3-642-02480-7.

BibTeX

433.

Manuel Díaz; Sergio Romero; Bartolomé Rubio; Enrique Soler; José M Troya

Managing multi-concern application complexity in aspectSBASCO Artículo en actas

En: Gabrielle Allen, et al. (eds.). Computational Science-ICCS 2009. 9th International Conference. Baton Rouge, LA, USA, May 25-27, 2009. Proceedings, Part 1, Springer, Berlin, 2009, ISBN: 3-642-01969-2.

BibTeX

434.

Javier Barbarán; José A Dianes; Manuel Díaz; Daniel Garrido; Luis Llopis; Ana Reyna; Bartolomé Rubio

Programming wireless sensor networks applications using SMEPP: a case study Artículo en actas

En: Marc Brogle, et al (eds.). Third ERCIM Workshop on e Mobility. may 27 & 28, 2009, University of Twente, Enschede, The Netherlands, University of Twente, Enschede, The Netherlands, 2009, ISBN: 978-90-365-2846-7.

BibTeX

435.

María Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Using SCADE for decision support in Dam management Artículo en actas

En: pp. 125–131, INSTICC PRESS, 2009, ISBN: 978-989-8111-90-6.

BibTeX

436.

Miguel Frade; Fernández F Vega; Carlos Cotta

Adding zoom feature to terrain programmes Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

437.

José Manuel García-Nieto; Javier Apolloni; Enrique Alba; Guillermo Leguizamón

Algoritmo basado en cúmulos de partículas y evolución diferencial para la resolución de problemas de optimización continua Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

438.

Francisco Chicano; Enrique Alba

Búsqueda de errores en programas usando Java PathFinder y ACOhg Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

439.

Bernabé Dorronsoro; Enrique Alba; Pascal Bouvry

Búsqueda local iterada para el secuenciado de cadenas de ADN Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

440.

Enrique Alba; Gabriel Luque; Daniel Arias

Estudio de la influencia de la frecuencia y severidad en entornos dinámicos Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

441.

Enrique Alba; Briseida Sarasola

Trayectoria frente a población: ventajas en optimización dinámica Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

442.

Gabriel Luque; Enrique Alba

Un Algoritmo genético celular paralelo para optimización combinatoria Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

443.

Juan J Durillo; Antonio J Nebro; Francisco Luna; Enrique Alba

Un Estudio de la Aplicación del esquema de selección por estado estacionario en optimización multi-objetivo Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, pp. 587–594, Málaga, 2009.

BibTeX

444.

Feijoo Colomine; Carlos Cotta; Antonio J Fernández

Algoritmos Evolutivos multiobjetivo para selección de carteras de inversión con restricciones de cardinalidad Artículo en actas

En: En Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 97884-691-6813-4.

BibTeX

445.

Jhon Edgar Amaya; Carlos Cotta; Antonio J Fernández

Algoritmos Genéticos y búsquedas locales para el problema de la conmutación de herramientas Artículo en actas

En: En Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

446.

A Hardware based infrastructure for agent protection Artículo en actas

En: Springer-Verlag, Berlin-Heidelberg, 2009, ISBN: 978-3-540-85866-9.

BibTeX

447.

Daniel Serrano; Antonio Maña; Pedro Soria-Rodríguez; Ana Piñuela; Athanasios-Dimitrios Sotirious

An Architecture for secure ambient intelligence environments Artículo en actas

En: pp. 21–29, Springer-Verlag, Berlin-Heidelberg, 2009, ISBN: 978-3-540-85866-9.

BibTeX

448.

José Eduardo Rivera; Cristina Vicente-Chicote; Antonio Vallecillo

Extending visual modeling languages with timed behavioral specifications Artículo en actas

En: pp. 87–100, Colombia, 2009, ISBN: 978-958-44-5028-9.

BibTeX

449.

David Rodríguez; Carlos Cotta; Antonio J Fernández

Finding balanced incomplete block designs with metaheuristics Artículo en actas

En: Carlos Cotta y Peter Cowling (Eds.). Evolutionary Computation in combinatorial optimization: 9th European Conference, EvoCOP 2009. Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 156–167, 2009, ISBN: 3-642-01008-3.

BibTeX

450.

Eduardo Fernández-Medina; Javier Lopez

Reutilización de casos de uso en desarrollo de sistemas Grid seguros Artículo en actas

En: Antonio Brogi, João Araújo y Raquel Anaya (Eds.). XII Conferencia Iberoamericana de Ingeniería de Requisitos y Ambientes de Software. IDEAS 2009. Medellín, Colombia, Abril 13-17, 2009. Memorias, pp. 388–393, Colombia, 2009, ISBN: 978-958-44-5028-9.

BibTeX

451.

[No title] Artículo en actas

En: Parallel , distributed and network-based processings. 18-20 February 2009. Weimar, Germany. Proceedings, pp. 21–27, IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3544-9.

BibTeX

452.

Cristina Alcaraz; Isaac Agudo; Carmen Mª Fernandez-Gago; Rodrigo Roman; Gerardo Fernandez; Javier Lopez

Adaptive dispatching of incidences based on reputation for scada systems Artículo en actas

En: pp. 86–94, springer-verlag, Berlin, 2009, ISBN: 3-642-03747-X.

BibTeX

453.

Javier Lopez; Cristina Alcaraz; Rodrigo Roman

Analysis of security threats, requirements, technologies and standards in wireless sensor networks Artículo en actas

En: pp. 289–338, springer-verlag, Berlin, 2009, ISBN: 3-642-03828-X.

BibTeX

454.

Assigning meanings to Models Artículo en actas

En: pp. 1–1, 2009.

BibTeX

455.

Javier Ferrer; Francisco Chicano; Enrique Alba

Dealing with inheritance in oo evolutionary testing Artículo en actas

En: pp. 1665–1672, ACM, 2009, ISBN: 978-1-60558-325-9.

BibTeX

456.

Isaac Agudo; Carmen Mª Fernandez-Gago; Javier Lopez

Delegating privileges over finite resources: a quota based delegation approach Artículo en actas

En: pp. 302–315, Springer-Verlag, Berlin, 2009, ISBN: 3-642-01464-X.

BibTeX

457.

Ruzanna Chitchyan; Mónica Pinto; Safoora Shakil Khan

Early aspects at ICSE 2009: workshop on aspect-oriented requirements engineering and architecture design Artículo en actas

En: pp. 446–467, IEEE, 2009, ISBN: 978-1-4244-3494-7.

BibTeX

458.

Enrique Alba; Gabriel Luque; Daniel Arias

Impact of frequency and severity on non-stationary optimization problems Artículo en actas

En: pp. 755–761, springer-verlag, Berlín, 2009, ISBN: 3-642-01128-4.

BibTeX

459.

Guillermo Molina; Enrique Alba

Location discovery in wireless sensor networks using a two-stage simulated annealing Artículo en actas

En: pp. 11–20, Springer-verlag, Berlin, 2009, ISBN: 3-642-01128-4.

BibTeX

460.

Juan J Durillo; José García-Nieto; Antonio J Nebro; Carlos Coello A Coello; Francisco Luna; Enrique Alba

Multi-objective particle swarm optimizers: an experimental comparison Artículo en actas

En: pp. 495–509, Springer-verlag, 2009, ISBN: 3-642-01019-9.

BibTeX

461.

José García-Nieto; Enrique Alba; Javier Apolloni

Noiseless functions black-box optimization: evaluation of a hybrid particle swarm with differential operators Artículo en actas

En: pp. 2232–2237, ACM, New York, USA, 2009, ISBN: 978-1-60558-325-9.

BibTeX

462.

Juan J Durillo; Antonio J Nebro; Francisco Luna; Enrique Alba

On the Effect of the steady-state selection scheme in multi-objective genetic algorithms Artículo en actas

En: pp. 183–197, Springer-verlag, Berlin, 2009, ISBN: 3-642-01019-9.

BibTeX

463.

M Pinto; L Fuentes; J A Valenzuela; Paulo F Pires; Flávia C Delicato; E Marinho

On the Need of architectural patterns in AOSD for software evolution Artículo en actas

En: pp. 245–248, 2009.

BibTeX

464.

Carlos Segura; Alejandro Cervantes; Antonio J Nebro; María Dolores Jaraíz-Simón; Eduardo Segredo; Sandra García; Francisco Luna; Juan Antonio Gómez Pulido; Gara Miranda; Cristóbal Luque; Enrique Alba; M A Vega; Coromoto León; Inés M Galván

Optimizing the DFCN broadcast protocol wih a parallel cooperative strategy of multi-objective evolutionary algorithms Artículo en actas

En: pp. 305–319, Springer-verlag, Berlín, 2009, ISBN: 3-642-01019-9.

BibTeX

465.

Orchestrating ATL model transformations Artículo en actas

En: pp. 34–46, 2009.

BibTeX

466.

Grégoire Danoy; Bernabé Dorronsoro; Pascal Bouvry

Overcoming partitioning in large ad hoc networks using genetic algorithms Artículo en actas

En: pp. 1347–1354, ACM, 2009, ISBN: 978-1-60558-325-9.

BibTeX

467.

Particle swarm hybridized with differential evolution: black-box optimization benchmarking for nisy functions Artículo en actas

En: pp. 2343–2350, New York, USA, 2009, ISBN: 978-1-60558-325-9.

BibTeX

468.

Promoting the software evolution in AOSD with Early Aspects: architecture-oriented model-based pointcuts Artículo en actas

En: pp. 31–37, IEEE Computer Society, 2009, ISBN: 978-1-4244-3494-7.

BibTeX

469.

Realizability of choreographies using process algebra encodings Artículo en actas

En: pp. 167–182, Springer-Verlag, Berlin, 2009, ISBN: 3-642-00254-4.

BibTeX

470.

Alessandro García; Eduardo Figueiredo; Claudio Santana; Mónica Pinto; Lidia Fuentes

Representing architectural aspects with asymetric approach Artículo en actas

En: pp. 25–30, ACM, 2009, ISBN: 978-1-60558-456-0.

BibTeX

471.

Secure integration of RFID technology in personal documentation for seamless identity validation Artículo en actas

En: pp. 134–138, Springer, Berlín, 2009, ISBN: 978-3-540-85866-9.

BibTeX

472.

Security assurance during the software development process Artículo en actas

En: pp. art. n 20, ACM, New York, USA, 2009.

BibTeX

473.

Towards an ontology-based mediation framework for integratin biological data Artículo en actas

En: pp. 4, CEUR-WS, 2009.

BibTeX

474.

Towards connectivity improvement in VANETs using bypasslinks Artículo en actas

En: pp. 2201–2208, IEEE Computer Society, 2009.

BibTeX

475.

Mónica Pinto; Lidia Fuentes; Luis Fernández; Juan A Valenzuela

Using AOSD and MDD to enhance the architectural design phase Artículo en actas

En: pp. 360–369, 2009, ISBN: 3-642-05289-4.

BibTeX

476.

Cristina Alcaraz; Javier Lopez

Análisis de seguridad de las redes Mesh de sensores en sistemas críticos de control Artículo en actas

En: pp. 483–486, Los Autores; Universidad Politécnica de Cartagena, 2009, ISBN: 978-84-96997-27-1.

BibTeX

477.

Francisco Chicano; Enrique Alba

Ant colony optimization in model Checking Artículo en actas

En: pp. 26–36, 2009.

BibTeX

478.

Gwen Salaün; Nima Roohi

On Realizability and dynamic reconfiguation of choreographies Artículo en actas

En: pp. 21–31, 2009.

BibTeX

479.

Javier Ferrer; Francisco Chicano; Enrique Alba

On the Correlation between static measures and code coverage using evolutionary test case generation Artículo en actas

En: pp. 50–61, Sístedes, 2009.

BibTeX

480.

José Eduardo Rivera; Roberto E López

Realizing feature oriented software development with equational logic: an exploratory study Artículo en actas

En: pp. 269–274, 2009, ISBN: 978-84-692-4211-7.

BibTeX

481.

Antonio J Roa-Valverde; José F Aldana-Montes

Semantic ESB: a scalable platform for semantic web services execution Artículo en actas

En: pp. 90–103, 2009, ISBN: 978-84-692-6832-2.

BibTeX

482.

José A. Dianes; Manuel Díaz; Daniel Garrido

SMEPP architecture and runtime framework Artículo en actas

En: Marisol García Valls; Iria Estévez Ayres y Pablo Basanta Val, (eds.). XII Jornadas de Tiempo Real. Leganés, 5 y 6 de Febrero de 2009. JTR 2009, pp. 62–69, Madrid, 2009, ISBN: 84-89315-55-8.

BibTeX

483.

José Eduardo Rivera; Daniel Ruiz-Gonzáles; Fernando López-Romero; José María Bautista

Wires*: a tool for orchestrating model transformations Artículo en actas

En: pp. 158–161, 2009, ISBN: 978-84-692-4211-7.

BibTeX

484.

Mercedes Amor; Inmaculada Ayala; Lidia Fuentes

A4VANET: una aplicación basada en agentes JADE-LEAP para redes VANET Artículo en actas

En: pp. 561–570, Asociación Española para la Inteligencia Artificial, 2009, ISBN: 978-84-692-6424-9.

BibTeX

485.

Steffen Zschaler; Pablo Sánchez; Joao Santos; Mauricio Alférez; Awais Rashid; Lidia Fuentes; Ana Moreira; Joao Araujo; Uirá Kulesza

VML*. A Family of languages for variability management in software product lines Artículo en actas

En: pp. 1–20, springer-verlag, Berlin, 2009.

BibTeX

486.

Javier Cubo; Michele Sama; Franco Raimondi; David Rosenblum

A Model to design and verify context-aware adaptive service composition Artículo en actas

En: pp. 184–191, IEEE, 2009, ISBN: 978-0-7695-3811-2.

BibTeX

487.

A Solution based on cryptographic hardware for agent protection Artículo en actas

En: Proc. of second international workshop on remote entrusting. RETRYST 2009. September 30-october 1, 2009. Riva del Garda, Italy, 2009.

BibTeX

488.

Gabriel Luque; Enrique Alba; Bernabé Dorronsoro

An Asynchronous parallel implementation of a cellular genetic algorithms for combinatorial optimization Artículo en actas

En: pp. 1395–1402, New York, USA, 2009, ISBN: 978-1-60558-325-9.

BibTeX

489.

Antonio Maña; G Spanoudakis; Rajesh Harjani; Jose F Ruiz

An Infrastructure for maintenance and evolution of security and dependability in dynamic computing scenarios Artículo en actas

En: VIII Brazilian Symposium on Software Quality (SBQS´2009). June 1-5, 2009, Ouro Preto, Brazil, (to appear), 2009.

BibTeX

490.

Isaac Agudo; Carmen Mª Fernandez-Gago; Javier Lopez

Delegating privileges over finite resources: a quota based delegation approach Artículo en actas

En: pp. 302–315, Springer-Verlag, 2009, ISBN: 3-642-01464-X.

BibTeX

491.

Engineering languages for specifying product-derivation processes in software product lines Artículo en actas

En: pp. 188–207, springer-verlag, Berlin, 2009, ISBN: 978-3-642-00433-9.

BibTeX

492.

Ernesto Pimentel

Integración de Software: métodos formales para coordinar y adaptar componentes y servicios Artículo en actas

En: pp. 1–1, 2009, ISBN: 978-958-44-5028-9.

BibTeX

493.

Interactive specification and verification of behavioural adaptation contracts Artículo en actas

En: Proceedings of 9th International conference on qualily software. QSIC 2009. 24-25 august 2009, Jeju, Korea., IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3828-0.

BibTeX

494.

F Colomine; Carlos Cotta; Antonio J Fernández

On the Use of Sharpe´s index in evolutionary portfolio optimization under Markowitz´s model Artículo en actas

En: AISB 2009 Convention on Adaptive & Emergent behaviour & Complex Systems. 6th-9th April 2009, Edimburgh, Scotland. http://www.macs.hw.ac.uk/~dwcorne/edcs/, 2009.

BibTeX

495.

Manuela Ruíz-Montiel; José F Aldana-Montes

Semantically enhanced recommender systems Artículo en actas

En: pp. 604–609, Springer, Berlín, 2009, ISBN: 3-642-05289-4.

BibTeX

496.

A J Nebro; J J Durillo; J García-Nieto; Coello C A Coello; F Luna; E Alba

SMPSO: a new PSO-Based metaheuristic for multi-objective optimization Artículo en actas

En: pp. 66–73, IEEE Computer Society, 2009, ISBN: 978-1-4244-2764-2.

BibTeX

497.

Flávia C Delicato; Lidia Fuentes; Nadia Gámez; Paulo F Pires

Variabilities of wireless and actuators sensor network middleware for ambient assited living Artículo en actas

En: Sigeru Omatu, et al. (eds.). Distributed Computing, Artificial Intelligence, Bioinformatics, Softcomputing, and Ambient Assisted Living: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009. Workshops. Salamanca, Spain, June 10-12,, Springer, Berlin, 2009, ISBN: 3-642-02480-7.

BibTeX

498.

Daniel Serrano; José F Ruíz; Antonio J Muñoz; Antonio Maña

Desarrollo de aplicaciones basado en patrones de seguridad Artículo en actas

En: Actas de las Jornadas de Ingeniería Telemática. JITEL 2009. Cartagena, Murcia. Septiembre del 15 al 17 de 2009. (por aparecer), 2009.

BibTeX

499.

José Luis Pastrana

Escultismo: más de 100 años implantando la filosofía del espacio europeo de educación superior Artículo en actas

En: I Congreso de Docencia Universitaria: libro de resumos das comunicacións=libro de resúmenes de las comunicaciones, Vicerreitoría de Formación e Innovación Educativa; Unv. de Vigo, 2009.

BibTeX