Buscar
Mostrando ítems 51-60 de 334
Artículo
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
(Springer Verlag, 2011-02)
The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction ...
Ponencia
Productivity Challenges in Digital Transformation and its Implications for Workstream Collaboration Tools.
(University of Hawai'i, 2021)
Digital transformation has brought an unprecedented pace of change and a huge amount of information available for businesses. At the same time, it has also created a number of difficulties for knowledge workers that ...
Ponencia
FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Artículo
Improving Semantic Web Services Discovery Using SPARQL-Based Repository Filtering
(Elsevier, 2012)
Semantic Web Services discovery is commonly a heavyweight task, which has scalability issues when the number of services or the ontology complexity increase, because most approaches are based on Description Logics reasoning. ...
Ponencia
Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature Model (FM) represent all the produ ts in a SPL in terms of features. Applying refa toring to an ...
Artículo
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
(IEEE Computer Society, 2022)
Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the API specification. However, this process is only partially automated since testers are usually ...
Artículo
Automated Validation of Compensable SLAs
(IEEE Computer Society, 2021)
A Service Level Agreement (SLA) regulates the provisioning of a service by defining a set of guarantees. Each guarantee sets a Service Level Objective (SLO) on some service metrics, and optionally a compensation that is ...
Artículo
Qos-Aware Web Services Composition Using Grasp with Path Relinking
(Elsevier, 2014)
In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value logic as a service. When several alternative service providers are available for composition, ...
Ponencia
Tool Supported Error Detection and Explanations on Feature Models
(2011)
Automated analysis of feature models (FM) is a field of interest in recent years. Many operations over FMs have been proposed and developed, and many researchers and industrial companies have adopted FMs as a way to express ...