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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: ICWE, 2022.

BibTeX

5.

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

Service Oriented Computing for Humans as Service Providers Artículo en actas

En: Next-Gen Digital Services, 2021.

BibTeX

6.

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

Evolving a Multi-objective Optimization Framework Artículo en actas

En: 2021.

BibTeX

7.

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

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

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

Resumen | BibTeX

8.

Christian Cintrano; Jamal Toutouh; Enrique Alba

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

En: 2021.

BibTeX

9.

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

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

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

Resumen | BibTeX | Enlaces:

10.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

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

En: pp. 1-7, 2020.

BibTeX | Enlaces:

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 Artículo en actas

En: 2020.

BibTeX | Enlaces:

12.

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

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

En: pp. 1-3, 2020.

BibTeX | Enlaces:

13.

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

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

En: 2020.

BibTeX

14.

Barbara Valera-Muros; Pedro Merino-Gómez

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

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

BibTeX

15.

María-Del-Mar Gallardo; Laura Panizo

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

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

BibTeX

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 Artículo en actas

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

BibTeX

17.

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

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

En: pp. 1473-1478, 2019.

BibTeX | Enlaces:

18.

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

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

En: pp. 17-22, 2019.

BibTeX | Enlaces:

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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

BibTeX

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 Artículo en actas

En: 2019.

BibTeX

25.

Barbara Valera-Muros; Pedro Merino

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

En: pp. 502-507, 2019.

BibTeX | Enlaces:

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] Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: pp. 1171-1176, 2019.

BibTeX | Enlaces:

31.

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

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

En: pp. 1789-1794, 2019.

BibTeX | Enlaces:

32.

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

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

En: pp. 219-223, 2019.

BibTeX | Enlaces:

33.

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

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

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

BibTeX | Enlaces:

34.

Gabriela Ochoa; Francisco Chicano

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

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

BibTeX | Enlaces:

35.

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

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

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

BibTeX | Enlaces:

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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] Artículo en actas

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) Artículo en actas

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) Artículo en actas

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

BibTeX

42.

María Mar Gallardo; Laura Panizo

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

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

BibTeX

43.

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

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

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

BibTeX

44.

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

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

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

BibTeX

45.

María Mar Gallardo; Laura Panizo

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

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

BibTeX

46.

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

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

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

BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX

48.

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

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

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

BibTeX

49.

Delia Rico; Pedro Merino

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

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

BibTeX

50.

Ismael Navas

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

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

BibTeX

51.

Pedro Merino; Laura Panizo; Almudena Díaz

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

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

BibTeX

52.

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

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

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

BibTeX

53.

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

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

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

BibTeX | Enlaces:

54.

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

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

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

BibTeX | Enlaces:

55.

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

Algoritmo bioinspiradores para resolver el problema de alineamiento m'ultiple de secuencias Artículo en actas

En: 2018.

BibTeX

56.

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 Artículo en actas

En: 2018.

BibTeX

57.

Francisco J. Urbano; Enrique Alba Torres

BIN-CT: sistema inteligente para la gestión de la recogida de residuos urbanos Artículo en actas

En: 2018.

BibTeX

58.

Jamal Toutouh El Alamin; Enrique Alba Torres

Competición CAEPIA-App: senseUMA Artículo en actas

En: 2018.

BibTeX

59.

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 Artículo en actas

En: 2018.

BibTeX

60.

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

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

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

BibTeX

61.

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

A Simulation tool for TCCP programs Artículo en actas

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

Resumen | BibTeX

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 Artículo en actas

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

BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX | Enlaces:

64.

Daniel Stolfi; Enrique Alba; Xin Yao

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

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

Resumen | BibTeX | Enlaces:

65.

José Carrasco; Francisco Durán; Ernesto Pimentel

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

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

BibTeX | Enlaces:

66.

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

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

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

BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX

69.

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

Smart flood management DSS Artículo en actas

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

BibTeX

70.

Inmaculada Ayala; Lorenzo Mandow; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

71.

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

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

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

BibTeX

72.

María Mar Gallardo; Leticia Lavado; Laura Panizo

A simulation tool for tccp programs Artículo en actas

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

BibTeX

73.

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

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

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

Resumen | BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX

76.

Pedro Merino

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

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

BibTeX

77.

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

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

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

BibTeX

78.

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

LTE para IoT Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX | Enlaces:

80.

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

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

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

BibTeX | Enlaces:

81.

C Canal; G Salaün

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

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

BibTeX | Enlaces:

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 Artículo en actas

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

BibTeX | Enlaces:

83.

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

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

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

BibTeX | Enlaces:

84.

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

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

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

BibTeX | Enlaces:

85.

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

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

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

BibTeX | Enlaces:

86.

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

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

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

BibTeX

87.

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

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

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

BibTeX

88.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

90.

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

DisMatch results for OAEI 2016 Artículo en actas

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

BibTeX

91.

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

River Basin Management with SPIN Artículo en actas

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

BibTeX | Enlaces:

92.

Daniel H Stolfi; Enrique Alba

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

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

BibTeX | Enlaces:

93.

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

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

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

BibTeX

94.

María Mar Gallardo; Laura Panizo; Laura Titolo

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

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

BibTeX

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 Artículo en actas

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

BibTeX

96.

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

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

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

BibTeX | Enlaces:

97.

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

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

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

BibTeX

98.

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

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

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

BibTeX | Enlaces:

99.

Manuel Díaz; Daniel Garrido

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

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

BibTeX | Enlaces:

100.

Daniel H. Stolfi; Enrique Alba

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

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

BibTeX | Enlaces:

101.

María Mar Gallardo; Laura Panizo; Laura Titolo

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

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

BibTeX

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 Artículo en actas

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

BibTeX

103.

Lorena Cazorla; Cristina Alcaraz; Javier López

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

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

BibTeX

104.

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

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

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

BibTeX

105.

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

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

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

BibTeX

106.

Daniel H Stolfi; Enrique Alba

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

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

BibTeX

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 Artículo en actas

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

BibTeX

108.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX

111.

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

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

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

BibTeX

112.

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

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

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

BibTeX | Enlaces:

113.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX | Enlaces:

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 Artículo en actas

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 Artículo en actas

En: 2014.

BibTeX

119.

A. Nieto; J. Lopez; press]

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

En: pp. to to, 2014.

BibTeX

120.

Ana Nieto; Javier López

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

En: pp. 755–760, 2014.

BibTeX

121.

Enrique Alba

Cellular genetic algorithms Artículo en actas

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

BibTeX

122.

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

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

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

BibTeX

123.

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

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

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

BibTeX

124.

A. Nieto press]

Evaluation in CPRM-based systems Artículo en actas

En: 2014.

BibTeX

125.

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

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

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

BibTeX

126.

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

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

En: 2014.

BibTeX

127.

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

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

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

BibTeX

128.

C. Alcaraz; S. Wolthusen press]

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

En: 2014.

BibTeX

129.

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

Runtime enforcement of dynamic security policies Artículo en actas

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

BibTeX

130.

A. Nieto; J. López press]

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

En: 2014.

BibTeX

131.

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

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

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

BibTeX

132.

Daniel H. Stolfi; Enrique Alba

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

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

BibTeX

133.

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

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

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

BibTeX | Enlaces:

134.

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

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

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

BibTeX

135.

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

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

En: pp. to appear, 2014.

BibTeX

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 Artículo en actas

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

BibTeX | Enlaces:

137.

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

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

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

BibTeX | Enlaces:

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 Artículo en actas

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 Artículo en actas

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

BibTeX

140.

C Alcaraz; L Cazorla; G. Fernández

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

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 Artículo en actas

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

BibTeX

142.

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

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

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

BibTeX

143.

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

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

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

BibTeX

144.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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

BibTeX

147.

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

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

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

BibTeX

148.

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

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

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: 2013.

BibTeX

153.

José Miguel Horcas Aguilera

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

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

BibTeX

154.

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

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

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

BibTeX

155.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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

BibTeX

161.

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

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

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

BibTeX

162.

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

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

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

BibTeX

163.

Antonio Muñoz; Antonio Maña

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

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

BibTeX

164.

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

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

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

BibTeX

165.

Carolina Salto; Francisco Luna; Enrique Alba

Distributed evolutionary algorithms in heterogeneous environments Artículo en actas

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

BibTeX

166.

Carolina Salto; Francisco Luna; Enrique Alba

Enhancing distributed EAs using proactivity Artículo en actas

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

BibTeX

167.

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

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

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

BibTeX

168.

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

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

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

BibTeX

169.

Marioli Montenegro; Antonio Maña; Hristo Koshutanski

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

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

BibTeX

170.

Gabriel Luque; Enrique Alba

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

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

BibTeX

171.

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

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

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

BibTeX

172.

Cristina Alcaraz; Meltem Sönmez Turan

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

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

BibTeX

173.

Francisco Chicano; Gabriel Luque; Enrique Alba

Problem understanding through landscape theory Artículo en actas

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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

BibTeX

177.

Lorena Cazorla; Cristina Alcaraz; Javier Lopez

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

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

BibTeX

178.

Lorena Cazorla; Cristina Alcaraz; Javier López

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

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

BibTeX

179.

Francisco Moyano; Benoit Baudry; Javier Lopez

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

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

BibTeX

180.

Karel Osorio; Gabriel Luque; Enrique Alba

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

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

BibTeX

181.

Javier Espinar; Antonio Maña; Hristo Koshutanski

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

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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

BibTeX

184.

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

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

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

BibTeX

185.

Alberto Salmerón; Pedro Merino

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

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

BibTeX

186.

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

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

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

BibTeX

187.

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

DRAGONFLY: Encapsulating Android for instrumentation Artículo en actas

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

BibTeX

188.

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

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

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

BibTeX

189.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

191.

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

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

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

BibTeX

192.

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

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

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

BibTeX

193.

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

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

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

BibTeX

194.

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

Car setup optimization via evolutionary algorithms Artículo en actas

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

BibTeX

195.

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

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

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

BibTeX

196.

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

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

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

BibTeX

197.

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

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

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

BibTeX

198.

Alberto Salmeron; Pedro Merino

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

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

BibTeX

199.

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

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

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

BibTeX

200.

Daniel H. Stolfi; Enrique Alba

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

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

BibTeX

201.

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

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

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

BibTeX

202.

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

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

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

BibTeX

203.

Mirialys Machin Navas; Antonio Jes'us Nebro Urbaneja

Multiobjective Adaptive Metaheuristics Artículo en actas

En: 2013.

BibTeX

204.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

205.

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

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

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

BibTeX

206.

Cristina Alcaraz; Javier López

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

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

BibTeX

207.

J L Pastrana; E Pimentel; M Katrib

Available and reliable services Artículo en actas

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 Artículo en actas

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

BibTeX

209.

J J Merelo; A M Mora; C Cotta

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

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

BibTeX

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 Artículo en actas

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

BibTeX

211.

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

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

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

BibTeX

212.

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

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

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

BibTeX

213.

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

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

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

BibTeX

214.

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

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

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

BibTeX

215.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

216.

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

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

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

BibTeX

217.

Ruben Rios; Jorge Cuellar; Javier Lopez

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

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

BibTeX

218.

Ana Nieto; Javier López

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

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

BibTeX

219.

Francisco Moyano; Carmen Fernandez-Gago; Javier Lopez

A Conceptual framework for trust models Artículo en actas

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

BibTeX

220.

Laura Panizo; María Mar Gallardo

Analyzing hybrid systems with JPF Artículo en actas

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

BibTeX

221.

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

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

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

BibTeX

222.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

223.

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

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

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

BibTeX

224.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

225.

Laura Panizo; Maria-del-Mar Gallardo

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

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

BibTeX

226.

Alberto Salmerón; Pedro Merino

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

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

BibTeX

227.

Javier Cubo; Antonio Brogi; Ernesto Pimentel

Behaviour-Aware compositions of things Artículo en actas

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

BibTeX

228.

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

Mobile application profiling with TestelDroid Artículo en actas

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

BibTeX | Enlaces:

229.

Javier Cubo; Ernesto Pimentel

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

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

BibTeX | Enlaces:

230.

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

Testing of LTE configurations and applications Artículo en actas

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

BibTeX

231.

Javier Cubo; Antonio Brogi; Ernesto Pimentel

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

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

BibTeX

232.

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

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

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

BibTeX

233.

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

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

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

BibTeX

234.

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

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

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

BibTeX

235.

Jamal Toutouh; Sergio Nesmachnow; Enrique Alba

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

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

BibTeX

236.

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

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

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

BibTeX

237.

Jamal Toutouh; Enrique Alba

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

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

BibTeX

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 Artículo en actas

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

BibTeX

239.

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

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

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

BibTeX

240.

Jamal Toutouh; Enrique Alba

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

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

BibTeX

241.

Jamal Toutouh; Enrique Alba

Parallel Swarm intelligence for VANETs optimization Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX

243.

Ana Nieto; Javier López

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

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

BibTeX

244.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

245.

F Siddiqui; S Zeadally; Cristina Alcaraz; S Galvao

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

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

BibTeX

246.

A Reyna; G Valero; A Buenaventura; R Segovia

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

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

BibTeX

247.

Almudena Díaz; Pedro Merino; Francisco Javier Rivas

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

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

BibTeX

248.

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

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

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

BibTeX

249.

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

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

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

BibTeX

250.

José García-Nieto; Enrique Alba

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

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

BibTeX

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 Artículo en actas

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

BibTeX

252.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX

255.

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

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

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

BibTeX

256.

Francisco Chicano; Enrique Alba

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

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

BibTeX

257.

Francisco Chicano; Javier Ferrer; Enrique Alba

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

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

BibTeX

258.

José García Nieto; Enrique Alba

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

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

BibTeX | Enlaces:

259.

Francisco Chicano; Francisco Luna; Antonio Nebro; Enrique Alba

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

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

BibTeX

260.

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

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

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

BibTeX

261.

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

Contracts for security adaptation Artículo en actas

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

BibTeX

262.

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

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

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

BibTeX | Enlaces:

263.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

264.

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

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

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

BibTeX | Enlaces:

265.

Almudena Díaz; Pedro Merino

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

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

BibTeX

266.

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

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

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

BibTeX

267.

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

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

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

BibTeX

268.

Carlos Cotta; Antonio J Fernández-Leiva

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

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

BibTeX

269.

Javier Cubo; Ernesto Pimentel

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

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

BibTeX | Enlaces:

270.

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

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

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

BibTeX

271.

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

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

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

BibTeX

272.

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

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

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

BibTeX

273.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

274.

María-del-Mar Gallardo; Laura Panizo

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

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

BibTeX

275.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

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

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

BibTeX | Enlaces:

276.

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

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

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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

BibTeX

282.

Meriem Ouederni; Gwen Salaün; Ernesto Pimentel

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

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

BibTeX | Enlaces:

283.

David Urdiales-Nieto; José F Aldana-Montes

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

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

BibTeX

284.

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

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

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

BibTeX

285.

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

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

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

BibTeX

286.

Gimena Pujol; Antonio Maña; Claudia Pandolfo

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

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

BibTeX

287.

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

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

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

BibTeX

288.

I Ayala; M Amor; L Fuentes

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

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

BibTeX

289.

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

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

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

BibTeX

290.

Francisco Chicano; Enrique Alba

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

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

BibTeX | Enlaces:

291.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

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 Artículo en actas

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

BibTeX

293.

Números separables Artículo en actas

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

BibTeX

294.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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

BibTeX

297.

Julian Domínguez; Gabriel Luque; Enrique Alba

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

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

BibTeX

298.

Gabriel Luque; Enrique Alba

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

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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

BibTeX

301.

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

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

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

BibTeX

302.

Antonio Nebro; Juan Durillo

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

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) Artículo en actas

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

BibTeX

304.

Alberto Salmerón; Pedro Merino

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

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 Artículo en actas

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

BibTeX | Enlaces:

306.

Gabriel Luque; Enrique Alba

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

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

BibTeX | Enlaces:

307.

Meriem Ouederni; Gwen Salaün

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

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

BibTeX

308.

Juan J Durillo; Antonio J Nebro; Enrique Alba

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

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

BibTeX

309.

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

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

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

BibTeX

310.

Francisco Chicano; Enrique Alba

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

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

BibTeX

311.

Isaac Agudo; Jose A Onieva; Daniel Merida

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

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

BibTeX

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 Artículo en actas

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

BibTeX

313.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

315.

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

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

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

BibTeX

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 Artículo en actas

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

BibTeX

317.

Antonio J Martín; Ernesto Pimentel

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

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

BibTeX

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 Artículo en actas

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

BibTeX

319.

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

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

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

BibTeX

320.

Francisco Chicano; Gabriel Luque; Enrique Alba

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

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

BibTeX | Enlaces:

321.

Francisco Chicano; Gabriel Luque; Enrique Alba

Elementary landscapes of frequency assignment problems Artículo en actas

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

BibTeX

322.

Antonio J Martín; E Pimentel

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

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

BibTeX

323.

Javier Troya; José E Rivera; Antonio Vallecillo

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

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

BibTeX

324.

Javier Troya; José Rivera; Antonio Vallecillo

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

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

BibTeX | Enlaces:

325.

Javier Troya; Antonio Vallecillo

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

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

BibTeX | Enlaces:

326.

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

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

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

BibTeX

327.

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

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

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

BibTeX

328.

Amparo Civila Salas; Antonio Fernández J Leiva

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

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

BibTeX

329.

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

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

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

BibTeX

330.

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

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

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

BibTeX

331.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

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

BibTeX

332.

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

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

BibTeX

333.

Amparo Civila Salas; Antonio Fernández J Leiva

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

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

BibTeX

334.

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

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

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

BibTeX

335.

Aleksander Byrski; Robert Schaefer; Maciej Smolka; Carlos Cotta

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

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

BibTeX

336.

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

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

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

BibTeX

337.

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

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

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

BibTeX

338.

Miguel Frade; Francisco Fernandez Vega; Carlos Cotta

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

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

BibTeX

339.

M Frade; Fernández F Vega; Carlos Cotta

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

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

BibTeX

340.

María-del-Mar Gallardo; Laura Panizo

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

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

BibTeX

341.

Carlos Cotta

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

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

BibTeX

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: Josep Domingo Ferrer...[et.al], (coord.). XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 de septiembre 2010, pp. 337–342, Publicaciones URV, Tarragona, 2010, ISBN: 978-84-693-3304-4.

BibTeX

350.

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

Configuración óptima del protocolo de encaminamiento OLSR para VANETs mediante evolución diferencial Artículo en actas

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

BibTeX

351.

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

El Paradigma del agente aplicado en la ingeniería de inteligencia ambiental Artículo en actas

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

BibTeX

352.

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

Quizás Turing pensaba en videojuegos...experiencias en el contexto del Unreal Tournament Artículo en actas

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

BibTeX

353.

Briseida Sarasola; Enrique Alba

Un Estudio sobre el grado de dinamismo en el problema VRP con pedidos dinámicos Artículo en actas

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

BibTeX

354.

Francisco Durán; José Meseguer

A Church-Rosser checker tools for conditional order-sorted equational Maude specifications Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlín, 2010, ISBN: 3-642-16309-2.

BibTeX

355.

Francisco Durán; José Meseguer

A Maude coherence checker tool for conditional order-sorted rewrite theories Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlín, 2010, ISBN: 3-642-16309-2.

BibTeX

356.

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

A Solution based on cryptographip hardware to protect agents Artículo en actas

En: Tomoya Enokido...[et.al],(eds.). Proceedings of the 13th international conferenc on network-based information systems. NBiS 2010. 14-16 september 2010, Takayama, Gifu, Japan, pp. 400-407, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4167-9.

BibTeX | Enlaces:

357.

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

A Study of security approaches for the development of mobile grid systems Artículo en actas

En: J. Cordeiro, M. Virvou, B. Shishkov (ed.). Proceedings of the 5th international conference on software and data technologies. ICSOFT 2010, pp. 133-138, 2010, ISBN: 978-989-8425-22-5.

BibTeX

358.

Enrique Alba; Briseida Sarasola

ABC. A New performance tool for algorithms solving dynamic optimization problems Artículo en actas

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

BibTeX

359.

N. Gámez; Lidia Fuentes

FAmIWare: a middleware family for ambient intelligence Artículo en actas

En: Lidia Fuentes; Nadia Gámez y José Bravo (Eds.). Actas del IV international symposium of ubiquitous computing and ambient intelligence, Ibergarceta Publicaciones, S.L., 2010, ISBN: 978-84-92812-61-5.

BibTeX

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 Artículo en actas

En: Barbara Pernici (ed.). Advaced information systems engineering: 22nd. International Conference, CAiSE 2010. Hammamet, Tunisia, June 7-9, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 978-3-642-13093-9.

BibTeX

361.

In the Track of the agent protection: a solution based on cryptographic hardware Artículo en actas

En: Igor Kotenko; Victor Skormin (eds.). Computer network security: 5th International conference on mathematical methods, models and architectures for computer network security. MMM-ACNS 2010. St. Petersburg, Russia, September 8-10, 2010. Proceedings, Springer, Berlín, 2010, ISBN: 978-3-642-14705-0.

BibTeX

362.

Measuring fitness degradation in dynamic optimization problems Artículo en actas

En: Cecilia Di Chio...[et al.], (eds.). Applications of evolutionary computation: EvoApplications 2010...Istanbul, Turkey, april 7-9, 2010. Proceedings, Part I, Berlín, 2010, ISBN: 978-3-642-12238-5.

BibTeX

363.

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

On the Behavioral semantics of real-time domain specific visual languages Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlín, 2010, ISBN: 978-3-642-16309-8.

BibTeX

364.

On the Combination of domain specific modeling languages Artículo en actas

En: Thomas Kühne; Bran Selic; Marie-Pierre Gervais and Françoas Terrier (eds.). Modelling foundations and applications: 6th European conference, ECMFA 2010. Paris, France, june 15-18, 2010. Proceedings, Springer, Berlin, 2010, ISBN: 978-3-643-13594-1.

BibTeX

365.

On the Synchronization of ODP textual and graphical specifications Artículo en actas

En: Proceedings of 2010 14th IEEE international enterprise distributed object computing conference workshops. EDOCW 2010. 25-29 October 2010. Vitória, Brazil, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4164-8.

BibTeX

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 Artículo en actas

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 Artículo en actas

En: Peter Csaba Ölveczky (ed.). Rewriting logic and its applications: 8th International Workshop, WRLA 2010 held as a Satellite event of ETAPS 2010. Paphos, Cyprus, march 20-21, 2010. Revised selected papers, Springer, Berlin, 2010, ISBN: 978-3-642-16309-8.

BibTeX

368.

Javier Cubo; Michele Sama; Karim Rahimpur; David Rosenblum

A Model to design and verify context-aware adaptive service composition Artículo en actas

En: Proceedings of the 15th Conference on Software Engineering and Databases (JISBD'10) - Relevant Work Dissemination Track, Valencia (Spain) 2010 (CEDI'10), LibroTeX & Grupo Editorial Garceta, 2010.

BibTeX

369.

María-del-Mar Gallardo; Laura Panizo

An approach to verify hybrid systems with SPIN Artículo en actas

En: Victor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010, Gaceta grupo editorial, Madrid, 2010, ISBN: 978-84-92812-55-4.

BibTeX

370.

Pedro Merino; Alberto Salmerón

Analysis and optimization of video download on mobile devices Artículo en actas

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

BibTeX

371.

Agustín Ortíz; Manuel Díaz

Entorno operativo ligero para el desarrollo de aplicaciones distribuidas sobfe el Bus Can Artículo en actas

En: Actas del XVII seminario anual de automática, electrónica industrial e instrumentación. SAAEI 2010. Bilbao 7,8 y 9 de Julio, 2010.

BibTeX

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 Artículo en actas

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 Artículo en actas

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

BibTeX

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 Artículo en actas

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) Artículo en actas

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

BibTeX

376.

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

Trasvases entre vasijas inconmensurables Artículo en actas

En: Actas de las XIV jornadas para el aprendizaje y enseñanza de las matemáticas. Girona 2009, Federación española de sociedades de profesores de matemáticas (FESPM), 2010, ISBN: 978-84-614-2382-8.

BibTeX

377.

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

Una Metodología para la protección mutua automática de sistemas multiagentes Artículo en actas

En: Josep Domingo Ferrer...[et.al], (coord.). XI Reunión española sobre criptología y seguridad de la información. RECSI 2010. Tarragona 7-10 de septiembre 2010, Publicaciones URV, Tarragona, 2010, ISBN: 978-84-693-3304-4.

BibTeX

378.

Javier Cámara; Carlos Canal; Nikolay Vasilev

A Framework for run-time behavioural service adaptation in ubiquitous computing Artículo en actas

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

BibTeX

379.

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

A Model-Based taxonomy of knowledge development scenarios Artículo en actas

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

BibTeX

380.

Pablo Vidal; Enrique Alba

A Multi-GPU implementation of a cellular genetic algorithm Artículo en actas

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

BibTeX

381.

Martín Bilbao; Enrique Alba

CHC and SA applied to wind energy optimization using real data Artículo en actas

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

BibTeX

382.

Javier Cubo; Carlos Canal; Ernesto Pimentel

Context-Aware service discovery and adaptation based on semantic matchmaking Artículo en actas

En: Guadalupe Ortíz Bellot; Hideyasu Sasaki; Matthias Ehmann y Cosmin Dini (eds.). The Fifth international conference on internet and Web applications and services, IEEE Computer Society, Los Alamitos, CA, 2010, ISBN: 978-0-7695-4022-1.

BibTeX

383.

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

DBTech EXT: education and hands-on training for the database professional Artículo en actas

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

BibTeX

384.

Esteban Calderón; Jaime Chen; Bartolomé Rubio

DDS4RIS: a DDS implementation for wireless sensor networks Artículo en actas

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

BibTeX

385.

Almudena Díaz; Pedro Merino

Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks Artículo en actas

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

BibTeX

386.

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

Habitat: a DDS-based service framework for smart spaces Artículo en actas

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

BibTeX

387.

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

Handling data-based concurrency in context-aware service protocols Artículo en actas

En: Mohammad Reza Mousavi and Gwen Saläun (eds.). EPTCS: proceedings ninth international workshop on the foundations of coordination languages and software architectures. Paris, France, 4th september 2010, 2010.

BibTeX

388.

Gabriela Minetti; Enrique Alba

Metaheuristic assemblers of DNA strands: noiseless and noisy cases Artículo en actas

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

BibTeX

389.

Optimal configuration of OLSR routing protocol for VANETs by means of differential evolution Artículo en actas

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

BibTeX

390.

Quality attributes for software metamodels Artículo en actas

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

BibTeX

391.

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

Security engineering for embedded systems: the SecFutur vision Artículo en actas

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

BibTeX

392.

Rubén Rios Pozo; Javier Lopez

Source location privacy considerations in wireless sensor networks Artículo en actas

En: Actas del International symposium of ubiquitous computing and ambient intelligence (UCAmI 2010), Ibergaceta Publicaciones S.L., Madrid, 2010, ISBN: 978-84-92812-61-5.

BibTeX

393.

Antonio J Martín; E Pimentel

Synthesis and analysis of adaptors through security contracts Artículo en actas

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

BibTeX

394.

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

TasTicWiki: a Semantic Wiki with content recomemendation Artículo en actas

En: pp. 31–40, 2010.

BibTeX

395.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

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

En: pp. 61–72, 2010.

BibTeX

396.

Wireless sensor networks and internet of things. do we need a complete integration Artículo en actas

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

BibTeX

397.

A Middleware family for VANETs Artículo en actas

En: Pedro M. Ruíz: Jose Joaquin Garcia-Luna-Aceves (Eds.). Ad-Hoc, Mobile and Wireless Networks: 8th International Conference, ADHOC-NOW 2009. Murcia, Spain, September 22-25, 2009. Proceedings, Springer, Berlin, 2009, ISBN: 3-642-04382-8.

BibTeX

398.

Lidia Fuentes; Nadia Gámez

Modeling the context-awareness service in an aspect-oriented middleware for AmI Artículo en actas

En: Juan M. Corbacho; Dante I. Tapia and José Bravo (eds.). 3rd. Symposium of Ubiquitous Computing and Ambient Intelligence 2008. Advances in Soft Computing; 51, Springer, Berlin, 2009, ISBN: 978-3-540-85866-9.

BibTeX

399.

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

Cooperation of the finite domain and set solvers in TOY Artículo en actas

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: María Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 210–212, Springer, Berlin, 2009, ISBN: 3-642-04569-3.

BibTeX

406.

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

Dynamic adaptation in wireless sensor networks using nuronal networks Artículo en actas

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

BibTeX

407.

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

Integration of quantitative aspects into SPIN to develop a decision support tool for dams Artículo en actas

En: pp. 95–100, 2009.

BibTeX

408.

MaSiMe: a customized similarity measure and its application for tag cloud refactoring Artículo en actas

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

BibTeX

409.

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

SBMM assistamt: social pathway annotation Artículo en actas

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

BibTeX

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 Artículo en actas

En: pp. 28–32, 2009.

BibTeX

411.

Termination modulo combinations of equational theories Artículo en actas

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 Artículo en actas

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 Artículo en actas

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

BibTeX

414.

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

Evaluación del servicio de VOIP sobre redes UMTS basada en pruebas de campo reales Artículo en actas

En: pp. to appear, 2009.

BibTeX

415.

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

SMEPP: a secure middleware for embedded P2P Artículo en actas

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

BibTeX

416.

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

A Formal model and composition language for context-aware service protocols Artículo en actas

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

BibTeX

417.

Agent protection based on the use of cryptographic hardware Artículo en actas

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

BibTeX

418.

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

Behavioural adaptation of services in ubiquitous computing environments Artículo en actas

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: Edited by Antonio Palma dos Reis. Proceedings of the IADIS international conference on intelligent systems and agents (ISA 2009). Algarve, Portugal 21-23 june 2009, 2009, ISBN: 978-972-8924-87-4.

BibTeX

429.

AVISPA in the validation of ambient intelligence scenarios Artículo en actas

En: International conference on availability, reliability and security. ARES 2009. 16-19 march 2009. Fukuoka, Fukuoka Prefecture, Japan, IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3564-7.

BibTeX

430.

Complete OWL-DL reasoning using relational databases Artículo en actas

En: Sourav S. Bhowmick, Josef Küng and Roland Wagner (Eds.). Database and Expert Systems Applications: 20th International Conference, DEXA2009. Linz, Austria, August 31- September 4, 2009. Proceedings, Springer, Berlin, 2009, ISBN: 3-642-03572-8.

BibTeX

431.

Hardware protection of agents in ubiquitous and ambient intelligence environments Artículo en actas

En: Yves Demazeau; Juan Pavón, Juan M. Corchado and Javier Bajo (Eds.). 7th International conference on practical applications of agents and multi-agent systems (PAAMS 2009). Advances in intelligent and soft computing; 55, Springer-Verlag, Berlín, 2009, ISBN: 978-3-642-00486-5.

BibTeX

432.

Protected computing approach: towards the mutual protection of agent computing Artículo en actas

En: Yves Demazeau; Juan Pavón; Juan M. Corchado and Javier Bajo (Eds.). 7th International conference on practical applications of agents and multi-agent systems (PAAMS 2009). Advances in intelligent and soft computing; 55, Springer-Verlag, Berlín, 2009, ISBN: 978-3-642-00486-5.

BibTeX

433.

SecMiLiA: an approach in the agen protection Artículo en actas

En: International conference on availability, reliability and security. ARES 2009. 16-19 march 2009. Fukuoka, Fukuoka Prefecture, Japan, IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3564-7.

BibTeX

434.

Security and dependability in ambient intelligence scenarios: the communication prototype Artículo en actas

En: José Cordeiro; Joaquim Filipe (eds.). ICEIS 2009. Proceedings of the 11th international conference on enterprise information systems, 2009, ISBN: 978-989-8111-86-9.

BibTeX

435.

Security patterns, towards a further level Artículo en actas

En: Eduardo Fernández-Medina; Manu Lalek; Javier Hernando (eds.). SECRYPT 2009, Proceedings of the International Conference on Security and Cryptography, Milan, Italy, July 7-8, 2009, INSTICC Press, 2009, ISBN: 978-989-674-005-4.

BibTeX

436.

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

Semantic fields: finding ontology relationships Artículo en actas

En: Sourav S. Bhowmick, Josef Küng and Roland Wagner (Eds.). Database and Expert Systems Applications: 20th International Conference, DEXA 2009. Linz, Austria, August 31- September 4, 2009. Proceedings, Springer, Berlin, 2009, ISBN: 3-642-03572-8.

BibTeX

437.

The Role of trusted computing in secure agent migration Artículo en actas

En: André Flory and Martine Collard (Eds.). Proceedings of the IEEE international challenges in information science. RCIS 2009. Fez, April 22-24, Morocco, IEEE, 2009, ISBN: 978-1-4244-2865-6.

BibTeX

438.

Trusted computing: the cornerstone in the secure migration library for agents Artículo en actas

En: Yves Demazeau; Juan Pavón; Juan M. Corchado and Javier Bajo (Eds.). 7th International conference on practical applications of agents and multi-agent systems (PAAMS 2009). Salamanca, Spain, 25-27 March 2009. Advances in Intelligent and Soft Computing; 55, Springer-Verlag, Berlín, 2009, ISBN: 978-3-642-00486-5.

BibTeX

439.

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

Dam management using SCADE suite Artículo en actas

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

BibTeX

440.

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

Model checking dynamic data structures in operating systems Artículo en actas

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

BibTeX

441.

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

A Service-Oriented middleware for wireless sensor and actor networks Artículo en actas

En: Proceedigns of the 2009 Sixth International Conference on Information Technology: new generations. 27-29 april 2009. Las Vegas, Nevada, USA, IEEE Computer Society, Los Alamitos, CA, 2009.

BibTeX

442.

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

Analyzing rule-based behavioral semantics of visual modeling languages with Maude Artículo en actas

En: Dragan Gasevic, et al. (eds.). Software Language Engineering: First International Conference, SLE 2008. Toulouse, France, September 29-30, 2008. Revised Selected Papers, Springer, Berlin, 2009, ISBN: 978-3-642-00433-9.

BibTeX

443.

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

Behavior, time and viewpoint consistency: three challenges for MDE Artículo en actas

En: Michael R. V. Chaudron (ed.). Models in Software Engineering: Workshops and Symposia at MODELS 2008. Toulouse, France, September 20- October 3, 2008. Reports and Revised Selected Papers, Springer, Berlin, 2009, ISBN: 3-642-01647-2.

BibTeX

444.

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

Boosting annotated web services in SAWSDL Artículo en actas

En: Sigeru Omatu, et al. (Eds.). IWANN 2009 Workshops. Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, Springer, Berlin, 2009, ISBN: 3-642-02480-7.

BibTeX

445.

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

Managing multi-concern application complexity in aspectSBASCO Artículo en actas

En: Gabrielle Allen, et al. (eds.). Computational Science-ICCS 2009. 9th International Conference. Baton Rouge, LA, USA, May 25-27, 2009. Proceedings, Part 1, Springer, Berlin, 2009, ISBN: 3-642-01969-2.

BibTeX

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 Artículo en actas

En: Marc Brogle, et al (eds.). Third ERCIM Workshop on e Mobility. may 27 & 28, 2009, University of Twente, Enschede, The Netherlands, University of Twente, Enschede, The Netherlands, 2009, ISBN: 978-90-365-2846-7.

BibTeX

447.

Miguel Frade; Fernández F Vega; Carlos Cotta

Adding zoom feature to terrain programmes Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

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 Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

449.

Francisco Chicano; Enrique Alba

Búsqueda de errores en programas usando Java PathFinder y ACOhg Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

450.

Bernabé Dorronsoro; Enrique Alba; Pascal Bouvry

Búsqueda local iterada para el secuenciado de cadenas de ADN Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

451.

Enrique Alba; Gabriel Luque; Daniel Arias

Estudio de la influencia de la frecuencia y severidad en entornos dinámicos Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

452.

Enrique Alba; Briseida Sarasola

Trayectoria frente a población: ventajas en optimización dinámica Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

453.

Gabriel Luque; Enrique Alba

Un Algoritmo genético celular paralelo para optimización combinatoria Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

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 Artículo en actas

En: Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, pp. 587–594, Málaga, 2009.

BibTeX

455.

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

Using SCADE for decision support in Dam management Artículo en actas

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

BibTeX

456.

Feijoo Colomine; Carlos Cotta; Antonio J Fernández

Algoritmos Evolutivos multiobjetivo para selección de carteras de inversión con restricciones de cardinalidad Artículo en actas

En: En Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 97884-691-6813-4.

BibTeX

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 Artículo en actas

En: En Enrique Alba, Francisco Chicano, Francisco Luna y Gabriel Luque (Eds.). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB'09. Málaga, 11, 12 y 13 de Febrero de 2009, Málaga, 2009, ISBN: 978-84-691-6813-4.

BibTeX

458.

A Hardware based infrastructure for agent protection Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

En: Carlos Cotta y Peter Cowling (Eds.). Evolutionary Computation in combinatorial optimization: 9th European Conference, EvoCOP 2009. Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 156–167, 2009, ISBN: 3-642-01008-3.

BibTeX

462.

Eduardo Fernández-Medina; Javier Lopez

Reutilización de casos de uso en desarrollo de sistemas Grid seguros Artículo en actas

En: Antonio Brogi, João Araújo y Raquel Anaya (Eds.). XII Conferencia Iberoamericana de Ingeniería de Requisitos y Ambientes de Software. IDEAS 2009. Medellín, Colombia, Abril 13-17, 2009. Memorias, pp. 388–393, Colombia, 2009, ISBN: 978-958-44-5028-9.

BibTeX

463.

Cristina Alcaraz; Javier Lopez

Análisis de seguridad de las redes Mesh de sensores en sistemas críticos de control Artículo en actas

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

BibTeX

464.

Francisco Chicano; Enrique Alba

Ant colony optimization in model Checking Artículo en actas

En: pp. 26–36, 2009.

BibTeX

465.

Gwen Salaün; Nima Roohi

On Realizability and dynamic reconfiguation of choreographies Artículo en actas

En: pp. 21–31, 2009.

BibTeX

466.

Javier Ferrer; Francisco Chicano; Enrique Alba

On the Correlation between static measures and code coverage using evolutionary test case generation Artículo en actas

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

BibTeX

467.

José Eduardo Rivera; Roberto E López

Realizing feature oriented software development with equational logic: an exploratory study Artículo en actas

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

BibTeX

468.

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

Semantic ESB: a scalable platform for semantic web services execution Artículo en actas

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

BibTeX

469.

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

SMEPP architecture and runtime framework Artículo en actas

En: Marisol García Valls; Iria Estévez Ayres y Pablo Basanta Val, (eds.). XII Jornadas de Tiempo Real. Leganés, 5 y 6 de Febrero de 2009. JTR 2009, pp. 62–69, Madrid, 2009, ISBN: 84-89315-55-8.

BibTeX

470.

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

Wires*: a tool for orchestrating model transformations Artículo en actas

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

BibTeX

471.

[No title] Artículo en actas

En: Parallel , distributed and network-based processings. 18-20 February 2009. Weimar, Germany. Proceedings, pp. 21–27, IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3544-9.

BibTeX

472.

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

Adaptive dispatching of incidences based on reputation for scada systems Artículo en actas

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

BibTeX

473.

Javier Lopez; Cristina Alcaraz; Rodrigo Roman

Analysis of security threats, requirements, technologies and standards in wireless sensor networks Artículo en actas

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

BibTeX

474.

Assigning meanings to Models Artículo en actas

En: pp. 1–1, 2009.

BibTeX

475.

Javier Ferrer; Francisco Chicano; Enrique Alba

Dealing with inheritance in oo evolutionary testing Artículo en actas

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

BibTeX

476.

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

Delegating privileges over finite resources: a quota based delegation approach Artículo en actas

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

BibTeX

477.

Ruzanna Chitchyan; Mónica Pinto; Safoora Shakil Khan

Early aspects at ICSE 2009: workshop on aspect-oriented requirements engineering and architecture design Artículo en actas

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

BibTeX

478.

Enrique Alba; Gabriel Luque; Daniel Arias

Impact of frequency and severity on non-stationary optimization problems Artículo en actas

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

BibTeX

479.

Guillermo Molina; Enrique Alba

Location discovery in wireless sensor networks using a two-stage simulated annealing Artículo en actas

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

BibTeX

480.

Juan J Durillo; José García-Nieto; Antonio J Nebro; Carlos Coello A Coello; Francisco Luna; Enrique Alba

Multi-objective particle swarm optimizers: an experimental comparison Artículo en actas

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

BibTeX

481.

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

Noiseless functions black-box optimization: evaluation of a hybrid particle swarm with differential operators Artículo en actas

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

BibTeX

482.

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

On the Effect of the steady-state selection scheme in multi-objective genetic algorithms Artículo en actas

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

BibTeX

483.

M Pinto; L Fuentes; J A Valenzuela; Paulo F Pires; Flávia C Delicato; E Marinho

On the Need of architectural patterns in AOSD for software evolution Artículo en actas

En: pp. 245–248, 2009.

BibTeX

484.

Carlos Segura; Alejandro Cervantes; Antonio J Nebro; María Dolores Jaraíz-Simón; Eduardo Segredo; Sandra García; Francisco Luna; Juan Antonio Gómez Pulido; Gara Miranda; Cristóbal Luque; Enrique Alba; M A Vega; Coromoto León; Inés M Galván

Optimizing the DFCN broadcast protocol wih a parallel cooperative strategy of multi-objective evolutionary algorithms Artículo en actas

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

BibTeX

485.

Orchestrating ATL model transformations Artículo en actas

En: pp. 34–46, 2009.

BibTeX

486.

Grégoire Danoy; Bernabé Dorronsoro; Pascal Bouvry

Overcoming partitioning in large ad hoc networks using genetic algorithms Artículo en actas

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

BibTeX

487.

Particle swarm hybridized with differential evolution: black-box optimization benchmarking for nisy functions Artículo en actas

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

BibTeX

488.

Promoting the software evolution in AOSD with Early Aspects: architecture-oriented model-based pointcuts Artículo en actas

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

BibTeX

489.

Realizability of choreographies using process algebra encodings Artículo en actas

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

BibTeX

490.

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

Representing architectural aspects with asymetric approach Artículo en actas

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

BibTeX

491.

Secure integration of RFID technology in personal documentation for seamless identity validation Artículo en actas

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

BibTeX

492.

Security assurance during the software development process Artículo en actas

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

BibTeX

493.

Towards an ontology-based mediation framework for integratin biological data Artículo en actas

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

BibTeX

494.

Towards connectivity improvement in VANETs using bypasslinks Artículo en actas

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

BibTeX

495.

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

Using AOSD and MDD to enhance the architectural design phase Artículo en actas

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

BibTeX

496.

Mercedes Amor; Inmaculada Ayala; Lidia Fuentes

A4VANET: una aplicación basada en agentes JADE-LEAP para redes VANET Artículo en actas

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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

BibTeX

499.

A Solution based on cryptographic hardware for agent protection Artículo en actas

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

BibTeX

500.

Gabriel Luque; Enrique Alba; Bernabé Dorronsoro

An Asynchronous parallel implementation of a cellular genetic algorithms for combinatorial optimization Artículo en actas

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

BibTeX

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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 Artículo en actas

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

BibTeX

505.

Interactive specification and verification of behavioural adaptation contracts Artículo en actas

En: Proceedings of 9th International conference on qualily software. QSIC 2009. 24-25 august 2009, Jeju, Korea., IEEE Computer Society, Los Alamitos, CA, 2009, ISBN: 978-0-7695-3828-0.

BibTeX

506.

F Colomine; Carlos Cotta; Antonio J Fernández

On the Use of Sharpe´s index in evolutionary portfol