In spite of the recent improvements in the performance of the solvers based on the DPLL procedure, it is still possible for the search algorithm to focus on the wrong areas of the search space, preventing the solver from returning a solution in an acceptable amount of time. This prospect is a real concern e.g. in an industrial setting, where users typically expect consistent performance. To ove...

We propose an adaptive and domain-specific service monitoring approach to detect partner service errors in a cost-effective manner. Hereby, we not only consider generic errors such as file not found or connection timed out, but also take domain-specific errors into account. The detection of each type of error entails a different monitoring cost in terms of the consumed resources. To reduce cost...

In spite of the recent improvements in the performance of Answer Set Programming (ASP) solvers, when the search space is sufficiently large, it is still possible for the search algorithm to mistakenly focus on areas of the search space that contain no solutions or very few. When that happens, performance degrades substantially, even to the point that the solver may need to be terminated before ...

Domain-specific modelling (DSM) helps designing systems at a higher level of abstraction, by providing languages that are closer to the problem space than to the solution space. Unfortunately, specifying and verifying properties of the modelled system has been mostly neglected by DSM approaches. At best, this is only partially supported by translating models to formal representations on which p...

The use of several view models to specify a complex system is a common practice to provide the most appropriate abstractions to model its diverse concerns. When several view models are used to specify a system, it is necessary to compose them to generate the application. When the view models are expressed in different Domain Specific Modeling Languages a problem arises because a heterogeneous c...

there are a number of techniques available to estimate saturated-liquid molar or specific volumes or densities of liquids. in this study, a new empirical correlation is presented to calculate volume of saturated liquids as a function of critical volume, reduced temperature and acentric factor. an optimization algorithm is utilized to obtain unknown parameters of this correlation by fitting them...

In this paper, a study of the perceived destination image created by promotional Web Pages is expounded in an attempt to identify their differences as generators of destination image in the consumers' mind. Specifically, it seeks to analyse whether the web sites of different Spanish regions improve the image that consumers have of the destination, identifying their main dimensions and analysing...

Performance management seems to be essential in business area and is also an exciting topic. Despite significant and myriads of research efforts, performance management guide today as a rigorous approach is still in an immature state and metrics are often selected based on intuitive and heuristic approach. In R&D side, the difficulty to guide the proper performance management is even more incre...