- idUS
- Browsing by Author
Browsing by Author "Pinto, Mónica"
Now showing items 1-20 of 29
-
Article
A green program lifecycle supporting energy-efficient applications
Gamez, Nadia; Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (Cornell University, 2016)With the advent of the Internet of Things (IoT), the percentage of global emissions attributable to Information Systems ...
-
Article
An approach for deploying and monitoring dynamic security policies
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia; Mallouli, Wissam; Montes de Oca, Edgardo (Elsevier, 2016)Security policies are enforced through the deployment of certain security functionalities within the applications. When ...
-
Presentation
An Aspect-Oriented Model Transformation to Weave Security using CVL
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (IEEE Computer Society, 2014)In this paper, we combine the Common Variability Language (CVL) and the ATL Transformation Language to customize and ...
-
Article
An automatic process for weaving functional quality attributes using a software product line approach
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (Elsevier, 2016)Some quality attributes can be modelled using software components, and are normally known as Functional Quality Attributes ...
-
Presentation
Automatic Enforcement of Security Properties
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (Springer, 2016)Ensuring the security requirements of an application is not a straightforward task. Security properties (e.g., ...
-
Article
Automatic Evolution of Eco-Efficient Software Architectures with CVL Models
Horcas Aguilera, José Miguel; Pinto, Mónica (IEEE Computer Society, 2020)Resource sharing and mass storage in server farms provided by cloud platforms save huge amounts of energy. However, ...
-
Presentation
Closing the Gap between the Specification and Enforcement of Security Policies
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (Springer, 2014)Security policies are enforced through the deployment of certain security functionalities within the applications. ...
-
Presentation
Configuración Eco-Eficiente de Atributos de Calidad Funcionales
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2017)Los atributos de calidad funcionales (FQAs) son aquellos que para satisfacerlos se necesita incorporar funcionalidad ...
-
Article
Context-aware energy-efficient applications for cyber-physical systems
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (Elsevier, 2019)Software systems have a strong impact on the energy consumption of the hardware they use. This is es- pecially important ...
-
Article
Context-dependent reconfiguration of autonomous vehicles in mixed traffic
Horcas Aguilera, José Miguel; Monteil, Julian; Bouroche, Mélanie; Pinto, Mónica; Fuentes, Lidia; Clarke, Siobhán (Wiley, 2018)Human drivers naturally adapt their behaviour depending on the traffic conditions, such as the current weather and road ...
-
Presentation
Dynamic Deployment and Monitoring of Security Policies
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia; Mallouli, Wissam; Montes de Oca, Edgardo (Springer, 2015)INTER-TRUST is a framework for the specification, negotiation, deployment and dynamic adaptation of interoperable ...
-
Article
Dynamic Reconfiguration of Security Policies in Wireless Sensor Networks
Pinto, Mónica; Gámez, Nadia; Fuentes, Lidia; Amor, Mercedes; Horcas Aguilera, José Miguel; Ayala, Inmaculada (MDPI, 2015)Providing security and privacy to wireless sensor nodes (WSNs) is very challenging, due to the heterogeneity of sensor ...
-
Presentation
Evolución arquitectónica de servicios basada en modelos CVL con cardinalidad
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (Ediciones Universidad de Salamanca, 2016)La computación en la nube se está convirtiendo en un mecanismo predominante para desplegar fácilmente aplicaciones con ...
-
Presentation
Extending the Common Variability Language (CVL) Engine: A practical tool
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (ACM Digital Library, 2017)The Common Variability Language (CVL) has become a reference in the speci cation and resolution of variability in the ...
-
Presentation
Extensible and modular abstract syntax for feature modeling based on language constructs
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (ACM Digital Library, 2020)Since the definition of feature models in 1990, a large number of language constructs have emerged. Each language construct ...
-
Presentation
FM fact label: a configurable and interactive visualization of feature model characterizations
Horcas Aguilera, José Miguel; Galindo Duarte, José Ángel; Pinto, Mónica; Fuentes, Lidia; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022)Recognizing specific characteristics of feature models (FM) can be challenging due to the different nature and domains ...
-
Presentation
Green Configurations of Functional Quality Attributes
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (ACM Digital Library, 2017)Functional quality attributes (FQAs) are those quality attributes that, to be satisfied, require the incorporation of ...
-
Presentation
How to develop secure applications with Aspect-Oriented Programming
Pinto, Mónica; Horcas Aguilera, José Miguel (IEEE Computer Society, 2013)In the last few years several new programming techniques for achieving a better separation of concerns have been defined. ...
-
Presentation
Injecting Quality Attributes into Software Architectures with the Common Variability Language
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (ACM Digital Library, 2014)Quality attributes that add new behavior to the functional software architecture are known as functional quality ...
-
Presentation
Modelando la Variabilidad de Características Complejas en Líneas de Productos Software
Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2019)A pesar de la gran cantidad de trabajos y de herramientas existentes en el ámbito de las Líneas de Productos Software, ...