GISUM

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

Artículos de revista

1.

Carlos Cotta; Gustavo Olague

Resilient Bioinspired Algorithms: A Computer System Design Perspective Proceedings Article

En: EvoApplications, 2022.

BibTeX

2.

Sandro Hurtado; José García-Nieto; Ismael Navas Delgado

A Service for Flexible Management and Analysis of Heterogeneous Clinical Data Proceedings Article

En: IWBBIO, 2022.

BibTeX

3.

Sandro Hurtado; Hossein Nematzadeh; José García-Nieto; Miguel Ángel Berciano Guerrero; Ismael Navas Delgado

On the Use of Explainable Artificial Intelligence for the Differential Diagnosis of Pigmented Skin Lesions Proceedings Article

En: IWBBIO, 2022.

BibTeX

4.

Javier Rojo; José Manuel García-Alonso; Javier Berrocal; Juan Hernández; Juan Manuel Murillo; Carlos Canal

Social Events Analyzer (SEA): A Toolkit for Mining Social Workflows by Means of Federated Process Mining Proceedings Article

En: ICWE, 2022.

BibTeX

5.

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

Desirable Objective Ranges in Preference-Based Evolutionary Multiobjective Optimization Proceedings Article

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

6.

Christian Cintrano; Jamal Toutouh; Enrique Alba

Citizen centric optimal electric vehicle charging stations locations in a full city: case of Malaga Proceedings Article

En: 2021.

BibTeX

7.

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

ProDSPL: Proactive Self-Adaptation Based on Dynamic Software Product Lines Proceedings Article

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:

8.

Sergio Laso; Javier Berrocal; José Manuel García-Alonso; Carlos Canal; Juan Manuel Murillo

Service Oriented Computing for Humans as Service Providers Proceedings Article

En: Next-Gen Digital Services, 2021.

BibTeX

9.

Antonio J. Nebro; Javier Pérez-Abad; José F. Aldana-Martín; José García-Nieto

Evolving a Multi-objective Optimization Framework Proceedings Article

En: 2021.

BibTeX

10.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

Extensible and modular abstract syntax for feature modeling based on language constructs Proceedings Article

En: pp. 1-7, 2020.

BibTeX | Enlaces:

11.

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 Proceedings Article

En: 2020.

BibTeX | Enlaces:

12.

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

FogPi: A Portable Fog Infrastructure through Raspberry Pis Proceedings Article

En: pp. 1-3, 2020.

BibTeX | Enlaces:

13.

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

Integrating the Common Variability Language with Multilanguage Annotations for Web Engineering Proceedings Article

En: 2020.

BibTeX

14.

Barbara Valera-Muros; Pedro Merino-Gómez

Is GÈANT Testbeds Service compliant with ETSI MANO? Proceedings Article

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

15.

María-Del-Mar Gallardo; Laura Panizo

Modelling Software-Defined Networks with Alloy Proceedings Article

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

16.

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 Proceedings Article

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

17.

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

A cane-based low cost sensor to implement attention mechanisms in telecare robots Proceedings Article

En: pp. 1473-1478, 2019.

BibTeX | Enlaces:

18.

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

From the Edge to the Cloud: Enabling Reliable IoT Applications Proceedings Article

En: pp. 17-22, 2019.

BibTeX | Enlaces:

19.

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 Proceedings Article

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

BibTeX | Enlaces:

20.

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 Proceedings Article

En: 2019.

BibTeX | Enlaces:

21.

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 Proceedings Article

En: pp. 7740-7747, 2019.

BibTeX | Enlaces:

22.

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 Proceedings Article

En: pp. 749-752, 2019.

BibTeX | Enlaces:

23.

Delia Rico Marchena; Pedro Merino Gomez

Ultra reliable low latency communications: a state of the art review Proceedings Article

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

24.

Á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 Proceedings Article

En: 2019.

BibTeX

25.

Barbara Valera-Muros; Pedro Merino

Is GÉANT Testbeds Service compliant with ETSI MANO? Proceedings Article

En: pp. 502-507, 2019.

BibTeX | Enlaces:

26.

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] Proceedings Article

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

BibTeX | Enlaces:

27.

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

From the Edge to the Cloud: Enabling Reliable IoT Applications Proceedings Article

En: pp. 17-22, 2019.

BibTeX | Enlaces:

28.

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

Automatic surrogate modelling technique selection based on features of optimization problems Proceedings Article

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

BibTeX | Enlaces:

29.

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

A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case Proceedings Article

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

BibTeX | Enlaces:

30.

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

One Step Towards Dynamically Programmable Things: an Implementation Using Beacons Proceedings Article

En: pp. 1171-1176, 2019.

BibTeX | Enlaces:

31.

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

Dynamically Programmable Virtual Profiles as a Service Proceedings Article

En: pp. 1789-1794, 2019.

BibTeX | Enlaces:

32.

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

Robust Management of Trans-Cloud Applications Proceedings Article

En: pp. 219-223, 2019.

BibTeX | Enlaces:

33.

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

Deep reinforcement learning based parameter control in differential evolution Proceedings Article

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

BibTeX | Enlaces:

34.

Gabriela Ochoa; Francisco Chicano

Local optima network analysis for MAX-SAT Proceedings Article

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

BibTeX | Enlaces:

35.

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

HADAS: analysing quality attributes of software configurations Proceedings Article

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

BibTeX | Enlaces:

36.

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 Proceedings Article

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

BibTeX | Enlaces:

37.

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 Proceedings Article

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

BibTeX | Enlaces:

38.

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

A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case Proceedings Article

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

BibTeX | Enlaces:

39.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

Software product line engineering: a practical experience [research] Proceedings Article

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

BibTeX | Enlaces:

40.

María Mar Gallardo Melgarejo; Laura Panizo Jaime

Modelling And Specifying Software Systems With Alloy (Tutorial) Proceedings Article

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

BibTeX

41.

María-Del-Mar Gallardo; Laura Panizo

Trace analysis using an Event-driven Interval Temporal Logic (Conference Paper) Proceedings Article

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

BibTeX

42.

María Mar Gallardo; Laura Panizo

An Event-driven interval temporal logic for hybrid systems (Trabajo en progreso) Proceedings Article

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

43.

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

An extension of TRIANGLE testbed with model-based testing (trabajo ya publicado) Proceedings Article

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

BibTeX

44.

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

A pan-European infrastructure for research in mobile networks Proceedings Article

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

BibTeX

45.

María Mar Gallardo; Laura Panizo

An Event-driven interval temporal logic for hybrid systems (Work in Progress) Proceedings Article

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

BibTeX

46.

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

An extension of TRIANGLE testbed with model-based testing Proceedings Article

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:

47.

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 Proceedings Article

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

48.

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

RPath: a web-app for metabolic pathway exploration (poster talk) Proceedings Article

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

49.

Antonio Benítez Hidalgo; Antonio Jes'us Nebro Urbaneja; Ismael Navas Delgado

Algoritmo bioinspiradores para resolver el problema de alineamiento m'ultiple de secuencias Proceedings Article

En: 2018.

BibTeX

50.

José García-Nieto; Ismael Navas Delgado; M. M. Roldán García; Antonio Jes'us Nebro Urbaneja; María Teresa López López; Beatriz Bernárdez Jiménez; José Francisco Ceres Montés

Coordinación de casos prácticos en asignaturas del área de conocimiento "Gestión de la Información" seg'un modelo curricular de informática de la ACM/IEEE 2013 Proceedings Article

En: 2018.

BibTeX

51.

Francisco J. Urbano; Enrique Alba Torres

BIN-CT: sistema inteligente para la gestión de la recogida de residuos urbanos Proceedings Article

En: 2018.

BibTeX

52.

Jamal Toutouh El Alamin; Enrique Alba Torres

Competición CAEPIA-App: senseUMA Proceedings Article

En: 2018.

BibTeX

53.

Daniel Raul Pandolfi; Enrique Alba Torres; Andrea Patricia Magdalena Villagra; Guillermo N. Leguizamón

Redes inteligentes de agua: factores y métodos para la predicción del consumo residencial de agua potable Proceedings Article

En: 2018.

BibTeX

54.

Delia Rico; Pedro Merino

Evaluation of multipath TCP in heterogeneous networks Proceedings Article

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

BibTeX

55.

Ismael Navas

Can standards help in developing metabolomics? (comunicación oral) Proceedings Article

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

56.

Pedro Merino; Laura Panizo; Almudena Díaz

EuWireless: design of a pan-European mobile network operator for research Proceedings Article

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

BibTeX

57.

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 Proceedings Article

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

BibTeX

58.

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

Natural evolution tells us how to best make goods delivery: use vans Proceedings Article

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:

59.

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

Towards the performance analysis of elastic systems with e-Motions Proceedings Article

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:

60.

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

A Characterisation of reliability tools for software defined networks Proceedings Article

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

BibTeX

61.

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

A Simulation tool for TCCP programs Proceedings Article

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

62.

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 Proceedings Article

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:

63.

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

SocICoAP: social interaction with supplementary sensors and actuators through CoAP in Smartphones Proceedings Article

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:

64.

Daniel Stolfi; Enrique Alba; Xin Yao

Predicting Car Park Occupancy Rates in Smart Cities Proceedings Article

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:

65.

José Carrasco; Francisco Durán; Ernesto Pimentel

Component-wise application migration in bidimensional cross-cloud environments Proceedings Article

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:

66.

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

An empirical study of power consumption of web-based communications in mobile phones Proceedings Article

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:

67.

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 Proceedings Article

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:

68.

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 Proceedings Article

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

69.

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

Smart flood management DSS Proceedings Article

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

BibTeX

70.

María Mar Gallardo; Leticia Lavado; Laura Panizo

A simulation tool for tccp programs Proceedings Article

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

BibTeX

71.

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

Using models at runtime to adapt self-managed agents for the IoT Proceedings Article

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:

72.

Inmaculada Ayala; Lorenzo Mandow; Mercedes Amor; Lidia Fuentes

Competición CAEPIA-APP: DOWNTOWN-APP Proceedings Article

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

73.

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

River basin management with SPIN (resumen) Proceedings Article

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

BibTeX

74.

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 Proceedings Article

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:

75.

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 Proceedings Article

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

76.

Pedro Merino

Conferencia invitada: A testbed for research and experimentation on protocols, applications and devices for 5G networks Proceedings Article

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

77.

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

Implementing a Hy-tccp interpreter for simulation Proceedings Article

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

78.

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

LTE para IoT Proceedings Article

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

79.

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 Proceedings Article

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:

80.

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

Mixed integer linear programming formulation for the taxi sharing problem Proceedings Article

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:

81.

C Canal; G Salaün

Stability-Based adaptation of asynchronously communicating software Proceedings Article

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:

82.

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 Proceedings Article

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:

83.

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

Situational-Context: a unified view of everything involved at a particular situation Proceedings Article

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:

84.

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

Bidimensional cross-cloud management with TOSCA and Brooklyn Proceedings Article

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:

85.

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

Deployment over heterogeneous Clouds with TOSCA and CAMP Proceedings Article

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:

86.

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

Towards contractual interfaces to reusable functional quality attribute operationalisations Proceedings Article

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

BibTeX

87.

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

Towards the dynamic reconfiguration of quality attributes Proceedings Article

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

88.

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

Abstract analysis of universal properties for tccp Proceedings Article

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

BibTeX

89.

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 Proceedings Article

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

90.

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

DisMatch results for OAEI 2016 Proceedings Article

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

91.

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

River Basin Management with SPIN Proceedings Article

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:

92.

Daniel H Stolfi; Enrique Alba

An Evolutionary algorithm to generate real urban traffic flows Proceedings Article

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:

93.

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

Game artificial intelligence: challenges for the scientific community Proceedings Article

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

94.

María Mar Gallardo; Laura Panizo; Laura Titolo

A Discretized operational semantics for the implementation of Hy-tccp Proceedings Article

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

95.

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 Proceedings Article

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

BibTeX

96.

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

Runtime verification of expected energy consumption in Smartphones Proceedings Article

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:

97.

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

Using model checking to generate test cases for Android applications Proceedings Article

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

BibTeX

98.

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

Dynamic deployment and monitoring of security policies Proceedings Article

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:

99.

Manuel Díaz; Daniel Garrido

Maintenance of reliable distributed applications with open-soruce middleware: fifteen years later Proceedings Article

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:

100.

Daniel H. Stolfi; Enrique Alba

Smart mobility policies with evolutionary algorithms: the adapting info panel case Proceedings Article

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

BibTeX | Enlaces:

101.

María Mar Gallardo; Laura Panizo; Laura Titolo

A Discretized operational semantic for the implementation of hy-tccp Proceedings Article

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

102.

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 Proceedings Article

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

103.

Lorena Cazorla; Cristina Alcaraz; Javier López

Protection of critical infrastructures through prevention and response Proceedings Article

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

104.

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

Runtime verification of expected energy consumption in smartphones Proceedings Article

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

105.

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

Modeling hybrid systems in the concurrent constraint paradigm Proceedings Article

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

BibTeX

106.

Daniel H Stolfi; Enrique Alba

Un Algoritmo evolutivo para la reducción de tiempos de viaje y emisiones utilizando paneles LED Proceedings Article

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

107.

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 Proceedings Article

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

108.

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

Optimización en videojuegos: retos para la comunidad científica Proceedings Article

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

109.

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

Overview of the Image CLEF 2015 liver CT annotation task Proceedings Article

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

110.

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 Proceedings Article

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

111.

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

The e-balance security solution for the Smart Grid Proceedings Article

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

112.

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

Using model checking to generate test cases for Android applications Proceedings Article

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

BibTeX | Enlaces:

113.

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

Eryna: una herramienta de apoyo a la revolución de los videojuegos Proceedings Article

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

114.

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 Proceedings Article

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

115.

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 Proceedings Article

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

116.

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 Proceedings Article

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:

117.

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 Proceedings Article

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

BibTeX

118.

J A Onieva; R Rios; Palenciano. press]

Análisis y desarrollo de un canal encubierto en un red de sensores Proceedings Article

En: 2014.

BibTeX

119.

A. Nieto; J. Lopez; press]

Herramienta para la compensación de parámetros de QoS y seguridad Proceedings Article

En: pp. to to, 2014.

BibTeX

120.

Ana Nieto; Javier López

A Context-based parametric relationship model [CPRM] to measure the security and QoS tradeoff in configurable environments Proceedings Article

En: pp. 755–760, 2014.

BibTeX

121.

Enrique Alba

Cellular genetic algorithms Proceedings Article

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

BibTeX

122.

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

Closing the gap between the specification and enforcement of security policies Proceedings Article

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

BibTeX

123.

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

Enhancing problem frames wht trust and reputation for analyzing Smart Grid security requirements Proceedings Article

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

BibTeX

124.

A. Nieto press]

Evaluation in CPRM-based systems Proceedings Article

En: 2014.

BibTeX

125.

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

Injecting quality attributes into software architectures with the common variability language Proceedings Article

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

BibTeX

126.

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

Multi-round attacks on structural controllability properties for non-complete random graphs Proceedings Article

En: 2014.

BibTeX

127.

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

Preserving receiver-location privacy in wireless sensor networks Proceedings Article

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

BibTeX

128.

C. Alcaraz; S. Wolthusen press]

Recovery of structural controllability for control systems Proceedings Article

En: 2014.

BibTeX

129.

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

Runtime enforcement of dynamic security policies Proceedings Article

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

BibTeX

130.

A. Nieto; J. López press]

Security and QoS tradeoff recommendation system [SQT-RS] for dynamic assessing CPRM-based systems Proceedings Article

En: 2014.

BibTeX

131.

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

Trust-aware decision-making methodology for cloud sourcing Proceedings Article

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

BibTeX

132.

Daniel H. Stolfi; Enrique Alba

Eco-friendly reduction of travel times in european smart cities Proceedings Article

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

133.

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

Local Optimal Sets and Bounded Archiving on Multi-objective NK-Landscapes with Correlated Objectives Proceedings Article

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

BibTeX | Enlaces:

134.

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

Analyzing the correctness of Smartphones applications using Formal Methods (Doctoral Consortium) Proceedings Article

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

135.

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

A Security engineering process for systems of systems using security patterns Proceedings Article

En: pp. to appear, 2014.

BibTeX

136.

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 Proceedings Article

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:

137.

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

A Virtual channel-based framework for the integration of wireless sensor networks in the Cloud Proceedings Article

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:

138.

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 Proceedings Article

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

BibTeX

139.

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

Comparator: a tool for quantifying behavioural compatibility Proceedings Article

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

140.

C Alcaraz; L Cazorla; G. Fernández

Context-awareness using anomaly-based detectors for smart grid domains Proceedings Article

En: 2014.

BibTeX

141.

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 Proceedings Article

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

142.

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

Modeling hybrid systems in Hy-tccp Proceedings Article

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

BibTeX

143.

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

Optimising traffic lights with metaheuristics: reduction of car emissions and consumption Proceedings Article

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

BibTeX

144.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Towards a CVL process to develop agents for the IoT Proceedings Article

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

BibTeX

145.

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 Proceedings Article

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

BibTeX

146.

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 Proceedings Article

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

147.

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

A Review of computational intelligence in RTS games Proceedings Article

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

BibTeX

148.

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

Analysis of leader selection strategies in a multi-objective particle Swarm optimizer Proceedings Article

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

149.

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 Proceedings Article

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

BibTeX

150.

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

Multi-objective optimal test suite computation for software product line pairwise testing Proceedings Article

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

BibTeX

151.

Francisco Javier Rivas; Almudena Díaz; Pedro Merino

Performance study of internet traffic on high speed railways Proceedings Article

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

BibTeX

152.

Mónica Pinto; José M. Horcas

How to develop secure applications with aspect-oriented programming Proceedings Article

En: 2013.

BibTeX

153.

José Miguel Horcas Aguilera

Modeling of quality attributes using and aspect-oriented software-product line approach Proceedings Article

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

BibTeX

154.

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

Variability and dependency modeling of quality attributes Proceedings Article

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

155.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Abordando la heterogeneidad en la Internet de las cosas: una solución de agentes auto-configurables Proceedings Article

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

BibTeX

156.

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 Proceedings Article

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

BibTeX

157.

Daniel H. Stolfi; Enrique Alba

Reducing gas emissions in smart cities by using the red swarm architecture Proceedings Article

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

BibTeX

158.

Laura Panizo; María Mar Gallardo

Verifying hybrid systems with explicit model checkers Proceedings Article

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

BibTeX

159.

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

Developing pervasive agent-based applications: a comparison of two coordination approches Proceedings Article

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

BibTeX

160.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Enhancing agent metamodels with self-management for AmI environments Proceedings Article

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

161.

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

Composition and self-adaptation of service-based systems with feature models Proceedings Article

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

162.

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

A Metamodel for measuring accountability attributes in the Cloud Proceedings Article

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

BibTeX

163.

Antonio Muñoz; Antonio Maña

Bridging the GAP between software certification and trusted computing for securing Cloud computing Proceedings Article

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

164.

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

Building trust and reputation in: a development framework for trust models implementation Proceedings Article

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

165.

Carolina Salto; Francisco Luna; Enrique Alba

Distributed evolutionary algorithms in heterogeneous environments Proceedings Article

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

166.

Carolina Salto; Francisco Luna; Enrique Alba

Enhancing distributed EAs using proactivity Proceedings Article

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

167.

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

Improvement heuristic for solving the one-dimensional bin-packing problem Proceedings Article

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

BibTeX

168.

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

Improving interoperability of digital certificates for software & services Proceedings Article

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

169.

Marioli Montenegro; Antonio Maña; Hristo Koshutanski

Improving security assurance of services through certificate profiles Proceedings Article

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

BibTeX

170.

Gabriel Luque; Enrique Alba

Math oracles: a new way of designing efficient self-adaptive algorithms Proceedings Article

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

BibTeX

171.

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

Micro-differential evolution with local search for high dimensional problems Proceedings Article

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

BibTeX

172.

Cristina Alcaraz; Meltem Sönmez Turan

PDR: A Prevention, Detection and Response Mechanism for Anomalies in Energy Control Systems Proceedings Article

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

173.

Francisco Chicano; Gabriel Luque; Enrique Alba

Problem understanding through landscape theory Proceedings Article

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

174.

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

Run-Time verification of behaviour-aware mashups in the internet of things Proceedings Article

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

BibTeX

175.

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

Security assurance of services through digital security certificates Proceedings Article

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

BibTeX

176.

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

Structural controllability of networks for non-interactive adversarial vertex removal Proceedings Article

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

177.

Lorena Cazorla; Cristina Alcaraz; Javier Lopez

Towards automatic critical infrastructure protection through machine learning Proceedings Article

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

178.

Lorena Cazorla; Cristina Alcaraz; Javier López

Towards engineering trust-aware future internet systems Proceedings Article

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

179.

Francisco Moyano; Benoit Baudry; Javier Lopez

Towards trust-aware and self-adaptive systems Proceedings Article

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

BibTeX

180.

Karel Osorio; Gabriel Luque; Enrique Alba

Using theory to self-tune migration periods in distributed genetic algorithms Proceedings Article

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

BibTeX

181.

Javier Espinar; Antonio Maña; Hristo Koshutanski

Workflow operational assurance platform for security-by-desing certified service-based coalitions Proceedings Article

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

182.

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

Architecting infrastructures for Cloud-Enabled mobile devices Proceedings Article

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

BibTeX

183.

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

Assisting Cloud Service Migration Using Software Adaptation Techniques Proceedings Article

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

184.

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

Development of adaptive multi-cloud applications: a model-driven approach Proceedings Article

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

BibTeX

185.

Alberto Salmerón; Pedro Merino

A ns-2 module for objective VoIP call quality evaluation Proceedings Article

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

BibTeX

186.

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

A Runtime verification framework for ANDROID applications Proceedings Article

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

BibTeX

187.

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

DRAGONFLY: Encapsulating Android for instrumentation Proceedings Article

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

188.

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

MULTICLAPP: a framework for modeling and developing multicloud migratable applications Proceedings Article

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

BibTeX

189.

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

Towards cloud-enabled mobile devices and applications Proceedings Article

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

BibTeX

190.

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 Proceedings Article

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

BibTeX

191.

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

A UML profile for modeling multicloud applications service-oriented and cloud computing Proceedings Article

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

BibTeX

192.

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

Automated throughput optimization of Cloud services via Model-driven adaptation Proceedings Article

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

193.

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

Car setup optimization via evolutionary algorithms Proceedings Article

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

194.

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

Developing migratable multicloud applications based on MDE and adaptation techniques Proceedings Article

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

BibTeX

195.

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

Emergency systems modelling using a security engineering process Proceedings Article

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

BibTeX

196.

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

Energy aware software evolution for wireless sensor networks Proceedings Article

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

BibTeX

197.

Alberto Salmeron; Pedro Merino

On-the-fly VoIP call quality evaluation with improved E-model Proceedings Article

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

BibTeX

198.

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

RAISE: RAIlway in infrastructure health monitoring using wireless SEnsor networks Proceedings Article

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

BibTeX

199.

Daniel H. Stolfi; Enrique Alba

Red Swarm: Smart Mobility in Cities with EAs Proceedings Article

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

200.

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

Secure engineering and modelling of a metering devices system Proceedings Article

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

BibTeX

201.

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

TEAM_K: a service oriented Kernel for soft real time simulations Proceedings Article

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

202.

Mirialys Machin Navas; Antonio Jes'us Nebro Urbaneja

Multiobjective Adaptive Metaheuristics Proceedings Article

En: 2013.

BibTeX

203.

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

A DBTechNet prohect for VET teacher training on database SQL transactions Proceedings Article

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

204.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

An Evaluation of multiobjective urban tourist route planning with mobile devices Proceedings Article

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

205.

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

A Distributed simulation tool on Windows Phone 7 Proceedings Article

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

206.

Cristina Alcaraz; Javier López

Addressing situational awareness in critical domains of a Smart Grid Proceedings Article

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

207.

J L Pastrana; E Pimentel; M Katrib

Available and reliable services Proceedings Article

En: pp. 233–238, 2012.

BibTeX

208.

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

Component and aspect-based service product line for pervasive systems Proceedings Article

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

209.

J J Merelo; A M Mora; C Cotta

Finding fast solutions to the game of Mastermind Proceedings Article

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

210.

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 Proceedings Article

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

211.

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

Procedural map generation for a RTS game Proceedings Article

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

212.

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

TEAM_K: a new Kernel for soft real time simulations Proceedings Article

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

213.

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

A Task ordering approach for automatic trust establishment Proceedings Article

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

214.

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

A Tool for the synthesis of cryptographic orchestrators Proceedings Article

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

BibTeX

215.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Exploiting dynamic weaving for self-managed agents in the IoT Proceedings Article

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

216.

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

HIDE_DHCP: covert communications through network configuration messages Proceedings Article

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

217.

Ruben Rios; Jorge Cuellar; Javier Lopez

Robust probabilistic fake packet injection for receiver-location privacy in WSN Proceedings Article

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

218.

Ana Nieto; Javier López

Traffic classifier for heterogeneous and cooperative routing through wireless sensor networks Proceedings Article

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

219.

Francisco Moyano; Carmen Fernandez-Gago; Javier Lopez

A Conceptual framework for trust models Proceedings Article

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

220.

Laura Panizo; María Mar Gallardo

Analyzing hybrid systems with JPF Proceedings Article

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

221.

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

Testing temporal logic on infinite Java traces Proceedings Article

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

222.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

An Agent platform for self-configuring agents in the internet of things Proceedings Article

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

223.

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

Secure architecture for the integration of RFID and sensors in personal networks Proceedings Article

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

224.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Self-management of ambient intelligence systems: a pure agent-based approach Proceedings Article

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

BibTeX

225.

Laura Panizo; Maria-del-Mar Gallardo

Generation of safe operations for dam management using formal methods Proceedings Article

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

BibTeX

226.

Alberto Salmerón; Pedro Merino

Integration of model checking and simulation for protocol analysis Proceedings Article

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

BibTeX

227.

Javier Cubo; Antonio Brogi; Ernesto Pimentel

Behaviour-Aware compositions of things Proceedings Article

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

228.

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

Mobile application profiling with TestelDroid Proceedings Article

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:

229.

Javier Cubo; Ernesto Pimentel

On the Service discovery using context-awareness, semantic matching and behavioural compatibility Proceedings Article

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:

230.

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

Testing of LTE configurations and applications Proceedings Article

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

BibTeX

231.

Javier Cubo; Antonio Brogi; Ernesto Pimentel

Towards behaviour-aware compositions of things in the future internet Proceedings Article

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

232.

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

Developing cross-cloud migratable applications through the use of adaptation Proceedings Article

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

233.

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

Distributed shared memory as an approach for integrating WSNs and cloud computing Proceedings Article

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

BibTeX

234.

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

Enough about standardization, Let´s build Cloud applications Proceedings Article

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

235.

Jamal Toutouh; Sergio Nesmachnow; Enrique Alba

Evolutionary powr-aware routing in VANETs using Monte-Carlo simulation Proceedings Article

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

236.

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

Field measurements of mobile services with Android smartphones Proceedings Article

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

237.

Jamal Toutouh; Enrique Alba

Green OLSR in VANETs with differential evolution Proceedings Article

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

238.

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 Proceedings Article

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

239.

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

Matching business process workflows across abstraction levels Proceedings Article

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

240.

Jamal Toutouh; Enrique Alba

Multi-Objective OLSR optimization for VANETs Proceedings Article

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

241.

Jamal Toutouh; Enrique Alba

Parallel Swarm intelligence for VANETs optimization Proceedings Article

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

242.

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 Proceedings Article

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

243.

Ana Nieto; Javier López

Security and QoS tradeoffs: towards a FI perspective Proceedings Article

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

244.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Self-StarMAS: a multi-agent system for the self-management of AAL applications Proceedings Article

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

245.

F Siddiqui; S Zeadally; Cristina Alcaraz; S Galvao

Smart Grid privacy: issues and solutions Proceedings Article

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

246.

A Reyna; G Valero; A Buenaventura; R Segovia

Sustainable water treatment process solutions based on life cycle assessment (LCA). (poster presentation) Proceedings Article

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

BibTeX

247.

Almudena Díaz; Pedro Merino; Francisco Javier Rivas

Test environment for QoS testing of VoIP over LTE Proceedings Article

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

248.

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

Testing temporal logic on infinite Java traces Proceedings Article

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

BibTeX

249.

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

TheMa: an API for mining linked datasets Proceedings Article

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

BibTeX

250.

José García-Nieto; Enrique Alba

Why six informants is optimal in PSO Proceedings Article

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

251.

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 Proceedings Article

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

252.

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

Optimizando la configuración de coches en juegos de carreras mediante computación evolutiva Proceedings Article

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

253.

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 Proceedings Article

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

254.

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 Proceedings Article

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

255.

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

Coalitions and incentives for content distribution over a secure peer-to-peer middleware Proceedings Article

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

256.

Francisco Chicano; Enrique Alba

Comparing metaheuristic algorithms for error detection in Java programs Proceedings Article

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

257.

Francisco Chicano; Javier Ferrer; Enrique Alba

Elementary landscape descomposition of the test suite minimization problem Proceedings Article

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

258.

José García Nieto; Enrique Alba

Empirical computation of the quasi-optimal number of informants in particle swarm optimization Proceedings Article

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:

259.

Francisco Chicano; Francisco Luna; Antonio Nebro; Enrique Alba

Using multi-objective metaheuristics to solve the software project scheduling problem Proceedings Article

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

260.

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

Contract-based discovery in sensor web Proceedings Article

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

261.

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

Contracts for security adaptation Proceedings Article

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

262.

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

Managing Incidents in Smart Grid à la Cloud Proceedings Article

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:

263.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Modeling context-awareness in agents for ambient intelligence: an aspect-oriented approach Proceedings Article

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

264.

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

SenseKey. simplifying the selection of key management schemes for sensor networks Proceedings Article

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:

265.

Almudena Díaz; Pedro Merino

Testing and profiling internet services in mobile devices Proceedings Article

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

266.

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

Towards an ontology for enterprise knowledge management Proceedings Article

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

BibTeX

267.

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

A Cluster-Based quantitative reliability model Proceedings Article

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

268.

Carlos Cotta; Antonio J Fernández-Leiva

Bio-Inspired combinatorial optimization: notes on reactive and proactive interation Proceedings Article

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

269.

Javier Cubo; Ernesto Pimentel

DAMASCo: A Framework for the Automatic Composition of Component-Based and Service Proceedings Article

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:

270.

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

Decision tree-based algorithms for implementing bot AI in UT2004 Proceedings Article

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

271.

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

Design emergent and adaptive virtual players in a war RTS game Proceedings Article

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

272.

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

On the Use of human-guided evolutionary algorithms for tackling 2D packing problems Proceedings Article

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

273.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Towards the automatic derivation of MALACA agents using MDE Proceedings Article

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

BibTeX

274.

María-del-Mar Gallardo; Laura Panizo

Extending model checkers for hybrid system verification: the case study of Spin Proceedings Article

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

BibTeX

275.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

Client Update: a Solution for Service Evolution Proceedings Article

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:

276.

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

Dynamic security monitoring and accounting for virtualized enviroments Proceedings Article

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

BibTeX

277.

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 Proceedings Article

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

BibTeX

278.

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

Live Interactive Frame Technology Alleviating Children Stress and Isolation during Hospitalization Proceedings Article

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

BibTeX | Enlaces:

279.

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

Policy based management for security in cloud computing Proceedings Article

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

BibTeX

280.

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

Static Mutual Approach for Protecting Mobile Agent Proceedings Article

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

BibTeX | Enlaces:

281.

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

Analizying factors to increase the influence of a twitter user Proceedings Article

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

282.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

Measuring the compatibility of service interaction protocols Proceedings Article

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:

283.

David Urdiales-Nieto; José F Aldana-Montes

Towards designing and efficient crawling window to analysis and annotate changes in linked data sources Proceedings Article

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

284.

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

A Coalition based incentive mechanism for P2P content distribution systems Proceedings Article

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

285.

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

TJT: testing temporal logic in JAVA programs Proceedings Article

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

BibTeX

286.

Gimena Pujol; Antonio Maña; Claudia Pandolfo

A Distributed secure ontology for certified services oriented applications (to appear) Proceedings Article

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

BibTeX

287.

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

A Semantic-supported knowledge development conception Proceedings Article

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

288.

I Ayala; M Amor; L Fuentes

Autonomic agents for mobile ambient assisted living applications Proceedings Article

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

289.

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

DTEKT: semantic classification for medical diagnosis Proceedings Article

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

290.

Francisco Chicano; Enrique Alba

Exact computation of the expectation curves of the bit-flip mutation using landscapes theory Proceedings Article

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:

291.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

Multiobjective tourist urban route planning with mobile device Proceedings Article

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

292.

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

Nerve: a lightweight middleware for quality-of-service networked robotics Proceedings Article

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

BibTeX

293.

Números separables Proceedings Article

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

294.

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

Towards user-centric memetic algorithms: experiences with TSP Proceedings Article

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

295.

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 Proceedings Article

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

296.

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 Proceedings Article

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

297.

Julian Domínguez; Gabriel Luque; Enrique Alba

Influencia de parámetros físicos en el comportamiento numérico de metaheurísticas paralelas Proceedings Article

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

298.

Gabriel Luque; Enrique Alba

Resolución de problemas de optimización usando la biblioteca MALLBA Proceedings Article

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

299.

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 Proceedings Article

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

BibTeX

300.

Gabriel Luque; Francisco Luna; Enrique Alba

A New parallel cooperative model for trajectory based metaheuristics Proceedings Article

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

301.

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

A Scatter search approach for solving the automatic cell planning problem Proceedings Article

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

302.

Antonio Nebro; Juan Durillo

A Study of the parallelization of the multi-objective metaheuristic MOEA/D Proceedings Article

En: Battiti, Christian Blum Roberto (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:

303.

Adaptation contracts for security-enabled services (Abstract) Proceedings Article

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

BibTeX

304.

Alberto Salmerón; Pedro Merino

Combining SPIN with ns-2 for protocol optimization Proceedings Article

En: 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:

305.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

Quantifying Service Compatibility: A Step Beyond the Boolean Approaches Proceedings Article

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:

306.

Gabriel Luque; Enrique Alba

Selection pressure and takeover time of distributed evolutionary algorithms Proceedings Article

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:

307.

Meriem Ouederni; Gwen Salaün

Tau be or not Tau be? a perspective on service compatibility and substitutability Proceedings Article

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

BibTeX

308.

Juan J Durillo; Antonio J Nebro; Enrique Alba

The jMetal framework for multi-objective opitmization: design and architecture Proceedings Article

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

309.

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

Computación segura multiparte aplicada a subastas electrónicas Proceedings Article

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

310.

Francisco Chicano; Enrique Alba

Descomposición en landscapes elementales del problema de la suma de subconjunto Proceedings Article

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

311.

Isaac Agudo; Jose A Onieva; Daniel Merida

Distribución segura de componentes software basada en OpenID Proceedings Article

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

312.

Almudena Díaz Zayas; Pedro Merino Gómez

Evaluación de los mecanismos de handover implementados en redes comerciales de telefonía móvil Proceedings Article

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

313.

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

Evaluation of two heuristic approaches to solve the ontology-metamatching problem Proceedings Article

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

314.

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

Generation of Biopax level 3 instances integrated data Proceedings Article

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

315.

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

Implementación de un esquema de localización privada y segura para interiores Proceedings Article

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

316.

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 Proceedings Article

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

317.

Antonio J Martín; Ernesto Pimentel

Scalable discovery of behavioural services through software adaptation Proceedings Article

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

318.

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

Towards an efficient integration of yeast data Proceedings Article

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

319.

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

A More specific events classification to improve crawling techniques Proceedings Article

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

320.

Francisco Chicano; Gabriel Luque; Enrique Alba

Elementary landscape decomposition of the quadratic assignment problem Proceedings Article

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:

321.

Francisco Chicano; Gabriel Luque; Enrique Alba

Elementary landscapes of frequency assignment problems Proceedings Article

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

322.

Antonio J Martín; E Pimentel

Feature-Based discovery of services with adaptable behaviour Proceedings Article

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

323.

Javier Troya; José E Rivera; Antonio Vallecillo

On the Specification of non-functional properties of systems by observation Proceedings Article

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

324.

Javier Troya; José Rivera; Antonio Vallecillo

Simulating domain specific visual models by observation Proceedings Article

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:

325.

Javier Troya; Antonio Vallecillo

Towards a rewriting logic semantics for ATL Proceedings Article

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:

326.

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

Towards memory management for service-oriented real-time systems Proceedings Article

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

327.

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

Verification of dynamic data tree with mu-calculus extended with separation Proceedings Article

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

328.

Amparo Civila Salas; Antonio Fernández J Leiva

El Aprendizaje cooperativo frente al aprendizaje competitivo en Universidad: colaboración o rivalidad Proceedings Article

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 Proceedings Article

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 Proceedings Article

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.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

A Model driven development of platform-neutral agents Proceedings Article

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

BibTeX

332.

An ECTS Experience in Sophomore Programming Courses in the University of Málaga Proceedings Article

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

333.

Amparo Civila Salas; Antonio Fernández J Leiva

Aprendizaje autónomo, metodologías cooperativas y enfoque holístico en universidad Proceedings Article

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

BibTeX

334.

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

Assessing efficiency of different evolutionary strategies playing MasterMind Proceedings Article

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

BibTeX

335.

Aleksander Byrski; Robert Schaefer; Maciej Smolka; Carlos Cotta

Asymptotic analysis of computational multi-agent systems Proceedings Article

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

BibTeX

336.

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

Dam management based on model checking techniques Proceedings Article

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

BibTeX

337.

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

Entropy-Driven evolutionary approaches to the mastermind problem Proceedings Article

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

BibTeX

338.

Miguel Frade; Francisco Fernandez Vega; Carlos Cotta

Evolution of artificial terrains for video games based on accessibility Proceedings Article

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

339.

M Frade; Fernández F Vega; Carlos Cotta

Evolution of artificial terrains for video games based on obstacles edge length Proceedings Article

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

BibTeX

340.

María-del-Mar Gallardo; Laura Panizo

Extending PROMELA and SPIN for hybrid system analysis80 Proceedings Article

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

341.

Carlos Cotta

Keeping the ball rolling: teaching strategies using wikipedia: an argument in favor of its use in computer science courses Proceedings Article

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

BibTeX

342.

Carlos Cotta

On the Use of attitudinal activities in ects experiences to foster studen engagemen in the course: a case study in programming courses Proceedings Article

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

343.

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 Proceedings Article

En: pp. 90–105, Springer-Verlag, 2010, ISBN: 3-642-15119-1.

BibTeX

344.

Jhon Edgar Amaya; Carlos Cotta; Antonio Fernández J Leiva

A Memetic cooperative optimization schema and its application to the tool switchin problem Proceedings Article

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

BibTeX

345.

Jose Luis Pastrana; Ernesto Pimentel; Miguel Katrib

COMPOSITOR: una herramienta para la generación de conectores Proceedings Article

En: pp. 53–58, Braga, Portugal, 2010, ISBN: 978-989-69247-2-6.

BibTeX

346.

Mercedes Amor; Inmaculada Ayala; Lidia Fuentes

A4VANET: context-axare JADE-LEAP agents for VANETS Proceedings Article

En: pp. 279–284, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 978-3-642-12383-2.

BibTeX

347.

J A Dianes; M Díaz; B Rubio

ServiceDDS: a framework for real-time P2P systems integration Proceedings Article

En: pp. 233–237, IEEE Computer Society, 2010.

BibTeX

348.

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 Proceedings Article

En: pp. 980–985, IEEE Computer Society, Los Alamitos, CA, 2010.

BibTeX

349.

Rodrigo Roman; Pablo Najera; Javier Lopez

Acceso seguro a redes de sensores en Scada a través de internet Proceedings Article

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

350.

J Toutouh; J García-Nieto; E Alba

Configuración óptima del protocolo de encaminamiento OLSR para VANETs mediante evolución diferencial Proceedings Article

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

351.

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

El Paradigma del agente aplicado en la ingeniería de inteligencia ambiental Proceedings Article

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

352.

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

Quizás Turing pensaba en videojuegos...experiencias en el contexto del Unreal Tournament Proceedings Article

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.

Briseida Sarasola; Enrique Alba

Un Estudio sobre el grado de dinamismo en el problema VRP con pedidos dinámicos Proceedings Article

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

354.

Francisco Durán; José Meseguer

A Church-Rosser checker tools for conditional order-sorted equational Maude specifications Proceedings Article

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

355.

Francisco Durán; José Meseguer

A Maude coherence checker tool for conditional order-sorted rewrite theories Proceedings Article

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

356.

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

A Solution based on cryptographip hardware to protect agents Proceedings Article

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:

357.

David Rosado; Eduardo Fernández-Medina; Javier López

A Study of security approaches for the development of mobile grid systems Proceedings Article

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

358.

Enrique Alba; Briseida Sarasola

ABC. A New performance tool for algorithms solving dynamic optimization problems Proceedings Article

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

359.

N. Gámez; Lidia Fuentes

FAmIWare: a middleware family for ambient intelligence Proceedings Article

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

360.

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 Proceedings Article

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

361.

In the Track of the agent protection: a solution based on cryptographic hardware Proceedings Article

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

362.

Measuring fitness degradation in dynamic optimization problems Proceedings Article

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

363.

José E Rivera; Francisco Durán; Antonio Vallecillo

On the Behavioral semantics of real-time domain specific visual languages Proceedings Article

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

364.

On the Combination of domain specific modeling languages Proceedings Article

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

365.

On the Synchronization of ODP textual and graphical specifications Proceedings Article

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

366.

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 Proceedings Article

En: Proc. of IEEE conference on robotics, automation and mechatronics. RAM 2010. 28-30 junio, 2010. Singapore, IEEE, 2010.

BibTeX

367.

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 Proceedings Article

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

368.

Javier Cubo; Michele Sama; Karim Rahimpur; David Rosenblum

A Model to design and verify context-aware adaptive service composition Proceedings Article

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

369.

María-del-Mar Gallardo; Laura Panizo

An approach to verify hybrid systems with SPIN Proceedings Article

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

370.

Pedro Merino; Alberto Salmerón

Analysis and optimization of video download on mobile devices Proceedings Article

En: XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), 2010, ISBN: 978-84-89900-38-7.

BibTeX

371.

Agustín Ortíz; Manuel Díaz

Entorno operativo ligero para el desarrollo de aplicaciones distribuidas sobfe el Bus Can Proceedings Article

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

372.

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 Proceedings Article

En: pp. 251–258, 2010, ISBN: 978-84-935760-3-5.

BibTeX

373.

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 Proceedings Article

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

374.

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 Proceedings Article

En: pp. 701–708, Ibergaceta Publicaciones, S.L., Madrid, 2010, ISBN: 978-84-92812-58-5.

BibTeX

375.

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) Proceedings Article

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

376.

María Rosario Muñoz Marín; Blas Carlos Ruiz Jiménez; Manuel Ruiz Muñoz

Trasvases entre vasijas inconmensurables Proceedings Article

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

377.

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

Una Metodología para la protección mutua automática de sistemas multiagentes Proceedings Article

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

378.

Javier Cámara; Carlos Canal; Nikolay Vasilev

A Framework for run-time behavioural service adaptation in ubiquitous computing Proceedings Article

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

379.

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

A Model-Based taxonomy of knowledge development scenarios Proceedings Article

En: 2010, ISBN: 978-988-17012-9-9.

BibTeX

380.

Pablo Vidal; Enrique Alba

A Multi-GPU implementation of a cellular genetic algorithm Proceedings Article

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

381.

Martín Bilbao; Enrique Alba

CHC and SA applied to wind energy optimization using real data Proceedings Article

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

382.

Javier Cubo; Carlos Canal; Ernesto Pimentel

Context-Aware service discovery and adaptation based on semantic matchmaking Proceedings Article

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

383.

Martii Laiho; Dimitris A Dervos; José F Aldana-Montes; Fritz Laux

DBTech EXT: education and hands-on training for the database professional Proceedings Article

En: pp. 15–22, Springer, Berlín, 2010, ISBN: 978-3-642-15575-8.

BibTeX

384.

Esteban Calderón; Jaime Chen; Bartolomé Rubio

DDS4RIS: a DDS implementation for wireless sensor networks Proceedings Article

En: Proc. of 2010 International conference on computer and information technology, World Academy of Science, Engineering and Technology, 2010.

BibTeX

385.

Almudena Díaz; Pedro Merino

Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks Proceedings Article

En: Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010., IEEE Computer Society, Piscataway, USA, 2010, ISBN: 978-1-4244-5637-6.

BibTeX

386.

Jose Angel Dianes; Manuel Díaz; Bartolomé Rubio

Habitat: a DDS-based service framework for smart spaces Proceedings Article

En: pp. 289–296, Piscataway, N.Y., 2010, ISBN: 978-1-4244-8229-0.

BibTeX

387.

Javier Cubo; Ernesto Pimentel; Gwen Salaün; Carlos Canal

Handling data-based concurrency in context-aware service protocols Proceedings Article

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

388.

Gabriela Minetti; Enrique Alba

Metaheuristic assemblers of DNA strands: noiseless and noisy cases Proceedings Article

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

389.

Optimal configuration of OLSR routing protocol for VANETs by means of differential evolution Proceedings Article

En: Proc. of International conference on metaheuristics and nature inspired computing. META'10. October 27th-31th, 2010.

BibTeX

390.

Quality attributes for software metamodels Proceedings Article

En: Proc. of 13th TOOLS workshop on quantitatives approaches in object-oriented software engineering. QAAOSE 2010. July 2nd. Málaga, Spain, 2010.

BibTeX

391.

Sigrid Gürgens; Günter Rudolph; Antonio Maña; Simin Nadjm-Tehrani

Security engineering for embedded systems: the SecFutur vision Proceedings Article

En: 2010, ISBN: 978-1-4503-0368-2.

BibTeX

392.

Rubén Rios Pozo; Javier Lopez

Source location privacy considerations in wireless sensor networks Proceedings Article

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

393.

Antonio J Martín; E Pimentel

Synthesis and analysis of adaptors through security contracts Proceedings Article

En: Proc. of 4th Workshop on formal languages and analysis of contract-oriented software. FLACOS 2010. Pisa, Italy, September 17-18, 2010.

BibTeX

394.

Manuela Ruíz-Montiel; Joaquín J Molina-Castro; José F Aldana-Montes

TasTicWiki: a Semantic Wiki with content recomemendation Proceedings Article

En: pp. 31–40, 2010.

BibTeX

395.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Towards the automatic derivation of Malaca agents using MDE Proceedings Article

En: pp. 61–72, 2010.

BibTeX

396.

Wireless sensor networks and internet of things. do we need a complete integration Proceedings Article

En: Proc. of 1st. international workshop on the security of the internet of things.SecLoT 10. Tokyo (Japan), november 29, 2010.

BibTeX

397.

A Middleware family for VANETs Proceedings Article

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

398.

Lidia Fuentes; Nadia Gámez

Modeling the context-awareness service in an aspect-oriented middleware for AmI Proceedings Article

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

399.

Sonia Estévez-Martín; Antonio Fernández; Fernando Sáenz-Pérez

Cooperation of the finite domain and set solvers in TOY Proceedings Article

En: pp. 217–226, 2009, ISBN: 978-84-692-4600-9.

BibTeX

400.

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 Proceedings Article

En: pp. 185, Vicerreitoría de Formación e Innovación Educativa; Unv. de Vigo, 2009.

BibTeX

401.

Sonia Estévez-Martín; Antonio Fernández; Fernando Sáenz-Pérez

TOY: a system for experimentig with cooperation of constraint domains Proceedings Article

En: pp. 119–128, 2009, ISBN: 978-84-692-4600-9.

BibTeX

402.

A Graphical approach for modeling time-dependent behavior of domain specific languages Proceedings Article

En: pp. 51–55, IEEE Computer Society, 2009, ISBN: 978-1-4244-4876-0.

BibTeX

403.

Eduardo Cañete; Jaime Chen; Luis Llopis; Bartolomé Rubio

Case Study: tractor safety; avoiding overturns and farmland monitoring using Wsans and the Useme framework Proceedings Article

En: pp. 202–206, IADIS Press, 2009, ISBN: 978-972-8924-97-3.

BibTeX

404.

Developing a communications architecture based on WCF for use in nuclear power plant simulators Proceedings Article

En: pp. 171–175, IADIS Press, 2009, ISBN: 978-972-8924-97-3.

BibTeX

405.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Developing a decision support tool for dam management with SPIN Proceedings Article

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

406.

Eduardo Cañete; Jaime Chen; Luis Llopis; Rafael Marcos; Bartolomé Rubio

Dynamic adaptation in wireless sensor networks using nuronal networks Proceedings Article

En: pp. 3–7, IADIS Press, 2009, ISBN: 978-972-8924-97-3.

BibTeX

407.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo

Integration of quantitative aspects into SPIN to develop a decision support tool for dams Proceedings Article

En: pp. 95–100, 2009.

BibTeX

408.

MaSiMe: a customized similarity measure and its application for tag cloud refactoring Proceedings Article

En: pp. 937–946, Springer, Berlin, 2009, ISBN: 3-642-05289-4.

BibTeX

409.

Ismael Navas-Delgado; Alejandro Real-Chicharro; David Urdiales-Nieto; Francisca Sánchez-Jiménez; José F Aldana-Montes

SBMM assistamt: social pathway annotation Proceedings Article

En: pp. 42–44, LiberodiScrivere Edizioni, 2009, ISBN: 978-88-7388-242-8.

BibTeX

410.

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 Proceedings Article

En: pp. 28–32, 2009.

BibTeX

411.

Termination modulo combinations of equational theories Proceedings Article

En: pp. 246–262, Springer, Berlin, 2009, ISBN: 3-642-04221-X.

BibTeX

412.

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 Proceedings Article

En: pp. 380–390, Springer, Berlin, 2009, ISBN: 3-642-02347-9.

BibTeX

413.

Almudena Díaz; Pedro Merino

Caracterización del perfil de consumo de energía de servicios IP sobre teléfonos móviles Proceedings Article

En: Actas de las VIII Jornadas de Ingeniería Telemática. JITEL 2009. 15 al 17 de septiembre. Cartagena, España, 2009.

BibTeX

414.

Almudena Díaz; Cristina Martínez; Pedro Merino

Evaluación del servicio de VOIP sobre redes UMTS basada en pruebas de campo reales Proceedings Article

En: pp. to appear, 2009.

BibTeX

415.

Rafael J Caro; Daniel Garrido; Pierre Plaza; Rodrigo Román; Nuria Sanz; José Luis Serrano

SMEPP: a secure middleware for embedded P2P Proceedings Article

En: pp. CD-ROM, IIMC International Information Management Corporation lTd., Dublin, Ireland, 2009, ISBN: 978-1-905824-12-0.

BibTeX

416.

Javier Cubo; Carlos Canal; Ernesto Pimentel; Gwen Salaün

A Formal model and composition language for context-aware service protocols Proceedings Article

En: pp. 17–20, ACM, 2009, ISBN: 978-1-60558-707-3.

BibTeX

417.

Agent protection based on the use of cryptographic hardware Proceedings Article

En: pp. 312–317, IEEE Computer Society, Los Alamitos, USA, 2009, ISBN: 978-0-7695-3726-9.

BibTeX

418.

Javier Cámara; Carlos Canal; Gwen Salaün

Behavioural adaptation of services in ubiquitous computing environments Proceedings Article

En: pp. 28–37, IEEE Computer Society, 2009, ISBN: 978-1-4244-3743-6.

BibTeX

419.

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 Proceedings Article

En: pp. 111–116, IEEE Computer Society, Los Alamitos, USA, 2009, ISBN: 978-0-7695-3666-8.

BibTeX

420.

Facilitating controlled tests of website design changes: a systematic approach Proceedings Article

En: pp. 370–378, Springer, Berlin, 2009, ISBN: 978-3-642-02817-5.

BibTeX

421.

Lourdes Araujo; Juan J Merelo; Antonio Mora; Carlos Cotta

Genotypic differences and migration policies in an island model Proceedings Article

En: pp. 1331–1338, ACM Press, 2009, ISBN: 978-1-60558-325-9.

BibTeX

422.

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 Proceedings Article

En: pp. 627–630, IEEE Computer Society, 2009, ISBN: 978-1-4244-3453-4.

BibTeX

423.

Javier Cámara; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel

On Behavioural interfaces and contracts for software adaptation Proceedings Article

En: pp. 3–8, University of Oslo, 2009, ISBN: 82-7368-345-1.

BibTeX

424.

T Richardson; A J Wellings; J A Dianes; M Díaz

Providing temporal isolation in the OSGi framework Proceedings Article

En: pp. 1–10, ACM, 2009, ISBN: 978-1-60558-732-5.

BibTeX

425.

Manuel Díaz; Daniel Garrido; Ana Reyna

SMEPP and the internet of things Proceedings Article

En: pp. CD-ROM, 2009.

BibTeX

426.

Almudena Díaz; Pedro Merino

SymPA: a measurement tool for evaluating the performance of IP services in mobile networks Proceedings Article

En: pp. 103–106, ACM, New York, 2009, ISBN: 978-1-60558-619-9.

BibTeX

427.

Ismael Navas-Delgado; Amine Kerzazi; José F Aldana-Montes

Un Editor de Modelos OWL-S: OWL-S Modeller Proceedings Article

En: José L. Álvarez,... et al. (eds.). Actas del Taller de Trabajo Zoco'09/ JISBD, Sístedes, 2009.

BibTeX

428.

Antonio Muñoz; Antonio Maña; Marioli Montenegro

A Harware based approach for protecting multi-agent systems Proceedings Article

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

429.

AVISPA in the validation of ambient intelligence scenarios Proceedings Article

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

430.

Complete OWL-DL reasoning using relational databases Proceedings Article

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

431.

Hardware protection of agents in ubiquitous and ambient intelligence environments Proceedings Article

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

432.

Protected computing approach: towards the mutual protection of agent computing Proceedings Article

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

433.

SecMiLiA: an approach in the agen protection Proceedings Article

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

434.

Security and dependability in ambient intelligence scenarios: the communication prototype Proceedings Article

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

435.

Security patterns, towards a further level Proceedings Article

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

436.

Ismael Navas-Delgado; María Mar Roldán-García; José F Aldana-Montes

Semantic fields: finding ontology relationships Proceedings Article

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

437.

The Role of trusted computing in secure agent migration Proceedings Article

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

438.

Trusted computing: the cornerstone in the secure migration library for agents Proceedings Article

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

439.

María Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Dam management using SCADE suite Proceedings Article

En: pp. 287–296, Universidad Politécnica de Valencia, 2009, ISBN: 978-84-8363-423-3.

BibTeX

440.

María Mar Gallardo; Pedro Merino; David Sanán

Model checking dynamic data structures in operating systems Proceedings Article

En: pp. 3–16, Universidad Politécnica de Valencia, 2009, ISBN: 978-84-8363-423-3.

BibTeX

441.

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

A Service-Oriented middleware for wireless sensor and actor networks Proceedings Article

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

442.

José Eduardo Rivera; Esther Guerra; Antonio Vallecillo; Juan Lara

Analyzing rule-based behavioral semantics of visual modeling languages with Maude Proceedings Article

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

443.

José Eduardo Rivera; José Raúl Romero; Antonio Vallecillo

Behavior, time and viewpoint consistency: three challenges for MDE Proceedings Article

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

444.

Jorge Martínez-Gil; Antonio J Roa-Valverde; José F Aldana-Montes

Boosting annotated web services in SAWSDL Proceedings Article

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

445.

Manuel Díaz; Sergio Romero; Bartolomé Rubio; Enrique Soler; José M Troya

Managing multi-concern application complexity in aspectSBASCO Proceedings Article

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

446.

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 Proceedings Article

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

447.

Miguel Frade; Fernández F Vega; Carlos Cotta

Adding zoom feature to terrain programmes Proceedings Article

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

448.

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 Proceedings Article

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

449.

Francisco Chicano; Enrique Alba

Búsqueda de errores en programas usando Java PathFinder y ACOhg Proceedings Article

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

450.

Bernabé Dorronsoro; Enrique Alba; Pascal Bouvry

Búsqueda local iterada para el secuenciado de cadenas de ADN Proceedings Article

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

451.

Enrique Alba; Gabriel Luque; Daniel Arias

Estudio de la influencia de la frecuencia y severidad en entornos dinámicos Proceedings Article

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

452.

Enrique Alba; Briseida Sarasola

Trayectoria frente a población: ventajas en optimización dinámica Proceedings Article

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

453.

Gabriel Luque; Enrique Alba

Un Algoritmo genético celular paralelo para optimización combinatoria Proceedings Article

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

454.

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 Proceedings Article

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

455.

María Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Using SCADE for decision support in Dam management Proceedings Article

En: pp. 125–131, INSTICC PRESS, 2009, ISBN: 978-989-8111-90-6.

BibTeX

456.

Feijoo Colomine; Carlos Cotta; Antonio J Fernández

Algoritmos Evolutivos multiobjetivo para selección de carteras de inversión con restricciones de cardinalidad Proceedings Article

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

457.

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 Proceedings Article

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

458.

A Hardware based infrastructure for agent protection Proceedings Article

En: Springer-Verlag, Berlin-Heidelberg, 2009, ISBN: 978-3-540-85866-9.

BibTeX

459.

Daniel Serrano; Antonio Maña; Pedro Soria-Rodríguez; Ana Piñuela; Athanasios-Dimitrios Sotirious

An Architecture for secure ambient intelligence environments Proceedings Article

En: pp. 21–29, Springer-Verlag, Berlin-Heidelberg, 2009, ISBN: 978-3-540-85866-9.

BibTeX

460.

José Eduardo Rivera; Cristina Vicente-Chicote; Antonio Vallecillo

Extending visual modeling languages with timed behavioral specifications Proceedings Article

En: pp. 87–100, Colombia, 2009, ISBN: 978-958-44-5028-9.

BibTeX

461.

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

Finding balanced incomplete block designs with metaheuristics Proceedings Article

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

462.

Eduardo Fernández-Medina; Javier Lopez

Reutilización de casos de uso en desarrollo de sistemas Grid seguros Proceedings Article

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

463.

Mónica Pinto; Lidia Fuentes; Luis Fernández; Juan A Valenzuela

Using AOSD and MDD to enhance the architectural design phase Proceedings Article

En: pp. 360–369, 2009, ISBN: 3-642-05289-4.

BibTeX

464.

Cristina Alcaraz; Javier Lopez

Análisis de seguridad de las redes Mesh de sensores en sistemas críticos de control Proceedings Article

En: pp. 483–486, Los Autores; Universidad Politécnica de Cartagena, 2009, ISBN: 978-84-96997-27-1.

BibTeX

465.

Francisco Chicano; Enrique Alba

Ant colony optimization in model Checking Proceedings Article

En: pp. 26–36, 2009.

BibTeX

466.

Gwen Salaün; Nima Roohi

On Realizability and dynamic reconfiguation of choreographies Proceedings Article

En: pp. 21–31, 2009.

BibTeX

467.

Javier Ferrer; Francisco Chicano; Enrique Alba

On the Correlation between static measures and code coverage using evolutionary test case generation Proceedings Article

En: pp. 50–61, Sístedes, 2009.

BibTeX

468.

José Eduardo Rivera; Roberto E López

Realizing feature oriented software development with equational logic: an exploratory study Proceedings Article

En: pp. 269–274, 2009, ISBN: 978-84-692-4211-7.

BibTeX

469.

Antonio J Roa-Valverde; José F Aldana-Montes

Semantic ESB: a scalable platform for semantic web services execution Proceedings Article

En: pp. 90–103, 2009, ISBN: 978-84-692-6832-2.

BibTeX

470.

José A. Dianes; Manuel Díaz; Daniel Garrido

SMEPP architecture and runtime framework Proceedings Article

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

471.

José Eduardo Rivera; Daniel Ruiz-Gonzáles; Fernando López-Romero; José María Bautista

Wires*: a tool for orchestrating model transformations Proceedings Article

En: pp. 158–161, 2009, ISBN: 978-84-692-4211-7.

BibTeX

472.

[No title] Proceedings Article

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

473.

Cristina Alcaraz; Isaac Agudo; Carmen Mª Fernandez-Gago; Rodrigo Roman; Gerardo Fernandez; Javier Lopez

Adaptive dispatching of incidences based on reputation for scada systems Proceedings Article

En: pp. 86–94, springer-verlag, Berlin, 2009, ISBN: 3-642-03747-X.

BibTeX

474.

Javier Lopez; Cristina Alcaraz; Rodrigo Roman

Analysis of security threats, requirements, technologies and standards in wireless sensor networks Proceedings Article

En: pp. 289–338, springer-verlag, Berlin, 2009, ISBN: 3-642-03828-X.

BibTeX

475.

Assigning meanings to Models Proceedings Article

En: pp. 1–1, 2009.

BibTeX

476.

Javier Ferrer; Francisco Chicano; Enrique Alba

Dealing with inheritance in oo evolutionary testing Proceedings Article

En: pp. 1665–1672, ACM, 2009, ISBN: 978-1-60558-325-9.

BibTeX

477.

Isaac Agudo; Carmen Mª Fernandez-Gago; Javier Lopez

Delegating privileges over finite resources: a quota based delegation approach Proceedings Article

En: pp. 302–315, Springer-Verlag, Berlin, 2009, ISBN: 3-642-01464-X.

BibTeX

478.

Ruzanna Chitchyan; Mónica Pinto; Safoora Shakil Khan

Early aspects at ICSE 2009: workshop on aspect-oriented requirements engineering and architecture design Proceedings Article

En: pp. 446–467, IEEE, 2009, ISBN: 978-1-4244-3494-7.

BibTeX

479.

Enrique Alba; Gabriel Luque; Daniel Arias

Impact of frequency and severity on non-stationary optimization problems Proceedings Article

En: pp. 755–761, springer-verlag, Berlín, 2009, ISBN: 3-642-01128-4.

BibTeX

480.

Guillermo Molina; Enrique Alba

Location discovery in wireless sensor networks using a two-stage simulated annealing Proceedings Article

En: pp. 11–20, Springer-verlag, Berlin, 2009, ISBN: 3-642-01128-4.

BibTeX

481.

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 Proceedings Article

En: pp. 495–509, Springer-verlag, 2009, ISBN: 3-642-01019-9.

BibTeX

482.

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

Noiseless functions black-box optimization: evaluation of a hybrid particle swarm with differential operators Proceedings Article

En: pp. 2232–2237, ACM, New York, USA, 2009, ISBN: 978-1-60558-325-9.

BibTeX

483.

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

On the Effect of the steady-state selection scheme in multi-objective genetic algorithms Proceedings Article

En: pp. 183–197, Springer-verlag, Berlin, 2009, ISBN: 3-642-01019-9.

BibTeX

484.

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 Proceedings Article

En: pp. 245–248, 2009.

BibTeX

485.

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 Proceedings Article

En: pp. 305–319, Springer-verlag, Berlín, 2009, ISBN: 3-642-01019-9.

BibTeX

486.

Orchestrating ATL model transformations Proceedings Article

En: pp. 34–46, 2009.

BibTeX

487.

Grégoire Danoy; Bernabé Dorronsoro; Pascal Bouvry

Overcoming partitioning in large ad hoc networks using genetic algorithms Proceedings Article

En: pp. 1347–1354, ACM, 2009, ISBN: 978-1-60558-325-9.

BibTeX

488.

Particle swarm hybridized with differential evolution: black-box optimization benchmarking for nisy functions Proceedings Article

En: pp. 2343–2350, New York, USA, 2009, ISBN: 978-1-60558-325-9.

BibTeX

489.

Promoting the software evolution in AOSD with Early Aspects: architecture-oriented model-based pointcuts Proceedings Article

En: pp. 31–37, IEEE Computer Society, 2009, ISBN: 978-1-4244-3494-7.

BibTeX

490.

Realizability of choreographies using process algebra encodings Proceedings Article

En: pp. 167–182, Springer-Verlag, Berlin, 2009, ISBN: 3-642-00254-4.

BibTeX

491.

Alessandro García; Eduardo Figueiredo; Claudio Santana; Mónica Pinto; Lidia Fuentes

Representing architectural aspects with asymetric approach Proceedings Article

En: pp. 25–30, ACM, 2009, ISBN: 978-1-60558-456-0.

BibTeX

492.

Secure integration of RFID technology in personal documentation for seamless identity validation Proceedings Article

En: pp. 134–138, Springer, Berlín, 2009, ISBN: 978-3-540-85866-9.

BibTeX

493.

Security assurance during the software development process Proceedings Article

En: pp. art. n 20, ACM, New York, USA, 2009.

BibTeX

494.

Towards an ontology-based mediation framework for integratin biological data Proceedings Article

En: pp. 4, CEUR-WS, 2009.

BibTeX

495.

Towards connectivity improvement in VANETs using bypasslinks Proceedings Article

En: pp. 2201–2208, IEEE Computer Society, 2009.

BibTeX

496.

Mercedes Amor; Inmaculada Ayala; Lidia Fuentes

A4VANET: una aplicación basada en agentes JADE-LEAP para redes VANET Proceedings Article

En: pp. 561–570, Asociación Española para la Inteligencia Artificial, 2009, ISBN: 978-84-692-6424-9.

BibTeX

497.

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 Proceedings Article

En: pp. 1–20, springer-verlag, Berlin, 2009.

BibTeX

498.

Javier Cubo; Michele Sama; Franco Raimondi; David Rosenblum

A Model to design and verify context-aware adaptive service composition Proceedings Article

En: pp. 184–191, IEEE, 2009, ISBN: 978-0-7695-3811-2.

BibTeX

499.

A Solution based on cryptographic hardware for agent protection Proceedings Article

En: Proc. of second international workshop on remote entrusting. RETRYST 2009. September 30-october 1, 2009. Riva del Garda, Italy, 2009.

BibTeX

500.

Gabriel Luque; Enrique Alba; Bernabé Dorronsoro

An Asynchronous parallel implementation of a cellular genetic algorithms for combinatorial optimization Proceedings Article

En: pp. 1395–1402, New York, USA, 2009, ISBN: 978-1-60558-325-9.

BibTeX

501.

Antonio Maña; G Spanoudakis; Rajesh Harjani; Jose F Ruiz

An Infrastructure for maintenance and evolution of security and dependability in dynamic computing scenarios Proceedings Article

En: VIII Brazilian Symposium on Software Quality (SBQS´2009). June 1-5, 2009, Ouro Preto, Brazil, (to appear), 2009.

BibTeX

502.

Isaac Agudo; Carmen Mª Fernandez-Gago; Javier Lopez

Delegating privileges over finite resources: a quota based delegation approach Proceedings Article

En: pp. 302–315, Springer-Verlag, 2009, ISBN: 3-642-01464-X.

BibTeX

503.

Engineering languages for specifying product-derivation processes in software product lines Proceedings Article

En: pp. 188–207, springer-verlag, Berlin, 2009, ISBN: 978-3-642-00433-9.

BibTeX

504.

Ernesto Pimentel

Integración de Software: métodos formales para coordinar y adaptar componentes y servicios Proceedings Article

En: pp. 1–1, 2009, ISBN: 978-958-44-5028-9.

BibTeX

505.

Interactive specification and verification of behavioural adaptation contracts Proceedings Article

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

506.

F Colomine; Carlos Cotta; Antonio J Fernández

On the Use of Sharpe´s index in evolutionary portfolio optimization under Markowitz´s model Proceedings Article

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