Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
To usefully query a location-based service, a mobile device must typically present its own location in its query to the server. This may not be acceptable to clients that wish to ...
Good indoor air quality is a vital part of human health. Poor indoor air quality can contribute to the development of chronic respiratory diseases such as asthma, heart disease, a...
Abstract. The assessment of Myocardial Blush Grade after primary angioplasty is a precious diagnostic tool to understand if the patient needs further medication or the use of speci...
Carlo Gatta, Juan Diego Gomez Valencia, Francesco ...