Semantic labelling refers to the problem of assigning known labels to the elements of structured information from a source ...

Through semantic labelling we enrich structured information from sources such as HTML pages, tables, or JSON files, with ...

Achieving efficiency both in terms of resource utilisation and energy consumption is acomplex challenge, especially in ...

En este trabajo presentamos una experiencia docente, y el recurso docente correspondiente, que hemos seguido durante el ...

As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ...

Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...

Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...

Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...

Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...

En un mundo profundamente interconectado y globalizado, uno de los principales retos a los que se tiene que enfrentar la ...

Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ...

This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ...

Service Oriented Architecture (SOA) holds promise for business agility since it allows business process to change to meet ...

In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...

This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ...

Actualmente, cada vez son más las empresas proveedoras de servicios TI que recurren a ITIL (Information Technology ...

Las técnicas de modelado y simulación ofrecen la posibilidad de experimentar diferentes decisiones y analizar sus resultados ...

Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ...

MWACSL1 is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL ...

La simulación del ciclo de vida de los proyectos software o de partes de éste es un activo campo de investigación en la ...

One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ...

The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ...

Feature models are widely used to represent product lines and they are key parts of the development process in agile ...

In this paper we present the main concepts and principles of a multilevel architecture to help in the development of ...

En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ...

The aim of this chapter is to introduce the reader to the dynamics of the software process, the ways to represent and ...

A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ...

Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...

In the last several years, software industry has undergone a significant transition to the use of existing component ...

In this paper we present an integrated framework for software process improvement according to CMM. The framework is ...

Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In ...

Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ...

Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ...

This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...

As government agencies and business become more dependent on web services, software solutions to automate their procurement ...

This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ...

This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ...

Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...

Este art´ıculo cuenta nuestra experiencia obtenida tras haber realizado un proyecto utilizando la tecnolog´ıa de aspectos ...

In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ...

In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of ...

In this paper, we present a new framework to extract knowledge from today’s non-semantic web. It associates semantics with ...

The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this ...

The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ...

The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be ...

En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas ...

This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...

De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...

This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ...

In software development is essential to have tools for the software diagnosis to help the programmers and development ...

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...

Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ...

During the last decade software process simulation has been used to address a wide diversity of management problems. Some ...

In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ...

Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...

Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for ...

In this article, we present an approach for the automatic verification of software requirements documents. This approach ...

In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...

This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...

Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic ...

In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...

In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...

Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ...

The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ...

The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ...

This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...

Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...

Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ...

La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ...

El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...

The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ...

The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ...

A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been ...

Reliability and availability are very important trends in the development process of distributed systems. In order to ...

The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...

Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ...

This paper presents a new approach to data set editing. The algorithm (EOP: Editing by Ordered Projection) has some ...

La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ...

La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...

In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...

La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...

En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ...

En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que ...

Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes ...

The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. ...

This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete ...

Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be ...

Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ...

Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...

En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ...

Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...

This paper presents a generic natural language interface that can be applied to the teleoperation of di!erent kinds of ...

Los objetivos de este documento son, en primer lugar, presentar un Modelo Dinámico Reducido (en adelante, MDR) para Proyectos ...

One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...

Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ...

Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos ...

Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...

We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ...

This article describes a new system for learning rules using rotated hyperboxes as individuals of a genetic algorithm (GA). ...

The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ...

A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ...

Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ...

Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that ...

A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled ...

In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. ...