Durn F.,University of Mlaga |
Ouederni M.,University of Mlaga |
Salan G.,Grenoble Institute of Technology
Science of Computer Programming | Year: 2012
Service-Oriented Computing promotes the development of new systems from existing services which are usually accessed through their public interfaces. In this context, interfaces must be compatible in order to avoid interoperability issues. In this article, we propose a new framework for checking the compatibility of n service interfaces. Our framework is generic, in the sense that it implements several compatibility notions useful for different application areas, and extensible since new further notions can easily be incorporated. We consider a service interface model which takes behavioural descriptions with value-passing and non-observable actions into account. Our compatibility checking framework has been fully implemented into a prototype tool which relies on the rewriting logic-based system Maude. © 2010 Elsevier B.V. All rights reserved.
Toutouh J.,University of Mlaga |
Alba E.,University of Mlaga
IWCMC 2011 - 7th International Wireless Communications and Mobile Computing Conference | Year: 2011
Vehicular ad hoc networks (VANETs) provide the communications required to deploy Intelligent Transportation Systems (ITS). In the current state of the art in this field there is a lack of studies on real outdoor experiments to validate the new VANETs protocols and applications proposed by designers. In this work we have addressed the definition of a testbed in order to study the performance of the Vehicular Data Transfer Protocol (VDTP) in a real urban VANET. The VDTP protocol has been tested by employing six different parameter settings: one defined by human experts and five automatically optimized by means of metaheuristic algorithms (PSO, DE, GA, ES, and SA). As a result, we have been able to confirm the performance improvements when optimized VDTP configurations are used, validating the results previously obtained through simulation. © 2011 IEEE.
Cabello M.,CSIC - Institute of Applied Physics |
Orza J.A.G.,CSIC - Institute of Applied Physics |
Barrero M.A.,University of the Basque Country |
Gordo E.,University of Mlaga |
And 5 more authors.
Journal of Geophysical Research: Atmospheres | Year: 2012
The impact on PM10, meteorology and visibility of the severe Saharan dust outbreak registered in Europe in October 2008 is evaluated in detail in mainland Spain and the Balearic Islands. Data from a large number of air quality stations (261), METAR observations at 39 airports, besides records from meteorological networks, were used. Information from dispersion models, satellite observations, synoptic charts and back-trajectory analysis, supported the interpretation. During the event, 89% of the monitoring stations exceeded the daily limit value. The highest daily averaged PM10 concentration across Spain ranged from 378 to 18 g m-3, following a hyperbolic decay with increasing latitude. An opposite relationship between visibility and PM10 was found for data at 12 UTC. The strength of the episode may be related to strong subsidence at low levels over the Iberian Peninsula. Copyright 2012 by the American Geophysical Union.