In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming (ODeLP) [1]. Eficiency is an important issues in ODeLP, since this framework has been de ned…

In todays world where nearly every company is dependent on the Internet to survive, it is not surprising that the role of intrusion detection has become extremely important within the last decade. Intrusion detection involves determining whether some entity has…

When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions, which can be conveniently described as design patterns. In this paper we present two patterns for…

Web engineering software development is facing continuous changes in technology implementation. This involves analysts, developers and designers to provide extra effort in the design and maintenance of Web applications in order to adapt them to changes in requirements and implementation…

Spatial data warehouses (SDW) rely on extended multidimensional (MD) models in order to provide decision makers with appropriate structures to intuitively analyse spatial data. Several SDW development approaches provide a conceptual modeling and some guidelines in order to obtain logical…

This paper uses dynamic general equilibrium and computational methods, inspired by the multi-sector growth model structure in Stephen Turnovsky's work, to develop a theory that unifies two of the traditional explanations of structural change: sector-biased technical change and non-homothetic preferences.…

This dissertation presents a model of the knowledge a person has about the spatial structure of a large-scale environment: the "cognitive map". The functions of the cognitive map are to assimilate new information about the environment, to represent the current…

Robots have become usual collaborators in our daily life. While robotic systems grow to be more and more complex, the need to engineering their software development process grows as well. Traditional approaches that are used in the development process of…

Little is known about the spatial ecology and ranging behaviour of vultures in Europe. In this paper we used GPS satellite telemetry to assess home-ranges of eight non-breeding Eurasian Griffon Vultures in Spain, trying to answer the main questions on…

This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of…