SCIENCE OF COMPUTERS

Author: AYALA PALENZUELA ROSA M..
Year: 2002.
University: ALMERÍA [More theses of this university] [www.ual.es].
Place of defense: ESCUELA POLITECNICA SUPERIOR.
Place of preparation: ESCUELA POLITECNICA SUPERIOR.

Summary: The thesis presents the results of a research work that proposes a methodology for finding the best --- for a given image. This methodology is based on an automatic process that will implement some classification algorithms known --- based on the recognition of patterns. In addition, for each classification algorithm applied it changes the parameters set of partners, as well as a collection of samples used to focus the category and -- classes that may discriminate on the image. Each of these possible combinations would return a classification that will be assessed on the basis of a performance indicator (statistical method that establishes the effectiveness of the binder and the patterns used to train the classifier). As a final result, the proposed algorithm offers the grading method, the number of classes discriminated against in the picture, all samples used to train the -- the set of samples used to train the classifier and values -- the parameters likely to schools that have the best indicator of performance. This performance indicator is calculated based on three measures statistics: A---- computation of the samples of internment. B-quality results as compared to the set of selected samples. C-Reliability of the classification obtained.

Author: MARTINEZ RAMIREZ ROEL ELFEGO.
Year: 2003.
University: POLITÉCNICA DE CATALUÑA [More theses of this university] [www.upc.edu].
Place of defense: LSI.
Place of preparation: EDIFICI C6 Campus NORD.

Summary: Survival analysis deals with the evaluation of variables which measure the elapsed time until an event of interest. One particularity survival analysis has to account for are censored data, which arise whenever the time of interest cannot be measured exactly, but partial information is available. Four types of censoring are distinguished: right-censoring occurs when the unobserved survival time is bigger, left-censoring when it is less than an observed time, and in case of interval-censoring, the survival time is observed within a time interval. We speak of doubly-censored data if also the time origin is censored. Methods for interval-censored data have received much attention during the last decades, however a topic, which has hardly been addressed in scientic literature, is the case of interval-censored covariates in regression models. An exception is the work of Gomez, Espinal and Lagakos (2003) who present a linear regression model with such a covariate. Therefore, an important part of this PhD thesis will be dedicated to estimation procedures for parametric survival models with an interval-censored covariate. In Chapter 1 of the thesis, we rst give a survey on statistical methods for intervalcensored data, including both parametric and nonparametric approaches. Most of these procedures are based on the assumption that the censored data generating process is noninformative. That means that the observed intervals do not carry any further information on the unobserved survival time. Without this assumption, the construction of the likelihood function would have to account for the censoring process, and the distribution function of the survival time could not be identied. In the second part of Chapter 1, we address this important issue with more detail. Given the importance of optimization procedures in the further chapters of the thesis, the nal section of Chapter 1 is about optimization theory. This includes some optimization algorithms, as well as the presentation of optimization tools, which have played an important role in the elaboration of this work. We have used the mathematical programming language AMPL to solve the maximization problems arisen. One of its main features is that optimization problems written in the AMPL code can be sent to the internet facility 'NEOS: Server for Optimization' and be solved by its available solvers. In Chapter 2, we present the three data sets analyzed for the elaboration of this dissertation. Two correspond to studies on HIV/AIDS: one is on the survival of Tuberculosis patients co-infected with HIV in Barcelona, the other on injecting drug users from Badalona and surroundings, most of whom became infected with HIV as a result of their drug addiction. The complex censoring patterns in the variables of interest of the latter study have motivated the development of estimation procedures for regression models with intervalcensored covariates. The third data set comes from a study on the shelf life of yogurt. We 1 present a new approach to estimate the shelf lives of food products taking advantage of the existing methodology for interval-censored data. Chapter 3 deals with the theoretical background of an accelerated failure time model with an interval-censored covariate, putting emphasize on the development of the likelihood functions and the estimation procedure by means of optimization techniques and tools. Their use in statistics can be an attractive alternative to established methods such as the EM algorithm. In Chapter 4 we present further regression models such as linear and logistic regression with the same type of covariate, for the parameter estimation of which the same techniques are applied as in Chapter 3. ay are addressed. 2

Author: GALINDO CHACON DAVID.
Year: 2003.
University: POLITÉCNICA DE CATALUÑA [More theses of this university] [www.upc.edu].
Place of defense: SALA D'ACTES DE LA FME, EDIFICI U, CAMPUS SUD.
Place of preparation: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Summary: An encryption scheme is a procedure that enables two parties to securely communicate over a public channel, in such a way that if a malicious party intercepts the information exchanged, it cannot extract the original message. In public key cryptography, the keys needed to encrypt and decrypt are different, being the encryption key public, thus available to legitimate and illegitimate users. Although encryption schemes are basic objects in public key cryptography, and they have been studied since the birth of this subject, the current demanding security notions and some recent developments in cryptanalysis, makes designing encryption schemes an active research area. In this work, encryption schemes with semantic security are studied. On the one hand, new schemes are proposed and analysed and, on the other hand, some relevant previous schemes are revisited.

Author: DÍAZ ESTEBAN ALBERTO.
Year: 2004.
University: COMPLUTENSE DE MADRID [More theses of this university] [www.ucm.es].
Place of defense: FACULTAD DE INFORMACIÓN.
Place of preparation: FACULTAD DE INFORMACIÓN.

Summary: In recent years, the information available in electronic format has grown to such an extent that it's very hard not to be overwhelmed when one tries encontrar'la information that really interests you. The Web content appearing in many different ways in different application domains but in mayoáa them how reporting is the same for all users, ie those contents are static in the sense that it does not fit each user from two points of view: neither are presented differently for each user or adapt to changes in the interests of the user over time. The customization de-contenidos Web seeks to eliminate information overload by adapting content to each type of user and over time. This thesis shows an integrated approach to personalization of Web content, as applied to news services, based on three primary features: selection of content, adapting the model user and presentation of results, all these processes are based on the representation of user interests that will be reflected in a user profile or model, the selection of content refers to a choice between all entry documents of those more interesting for a given user. The tailoring of the user is required because the user needs change over time, especially as a result of its interaction with the information they receive. The presentation of results is, once selected elements of information that most 'interest to a user, showing a document that result. Contain, for each selected item, an extract that is indicative of their contents. In particular, it has generated a personalized summary for each item of information selected for each user. The model integrates user used four types of reference systems that allow represent the interests of users from different points of view, these interests are divided into two types: long-term interests and short-term interests. The first represent user interests that remain constant over time, while the latter represents the interest that is modified, in turn, the long-term model uses three methods of classification that allow the user to define their information needs from 3 different views: a classification system dependent domain, where the documents are preclasificados by the author of the study (p, ie sections in a newspaper), a classification system independent domain, obtained from the categories of Yahoo first level of Spain and a set of keywords. Different processes personalization techniques are based on statistical classification of text that apply to the documents as a-los models user. The tasks of sorting text that are used are related to information retrieval, text categorization, real1mentación and generating summaries. The assessment of personalization systems is particularly complex because they are needed the opinions of different users to be able to draw significant conclusions about its operation. To evaluate different processes personalization have generated several collections of assessment which holds trials relevancy of multiple users for several days of use of the system. These collections have led try different approaches to determine which one was the best choice, these collections can also be used later by other researchers to compare the results of their customization techniques. Assessments has 8 No shows 447 do that the proposal customization based on the combination of user models both long and short term, with summaries custom as a way to present the final results, makes it possible to reduce the overload of information from users, regardless domain and language, a system for customizing Web content applied to news services.

Author: FERNÁNDEZ CONDE CARLOS JAVIER.
Year: 2004.
University: COMPLUTENSE DE MADRID [More theses of this university] [www.ucm.es].
Place of defense: FACULTAD DE INFORMÁTICA.
Place of preparation: FACULTAD DE INFORMÁTICA.

Summary: This paper addresses the problem of the use of object-oriented frameworks as a mechanism for software reuse. The problem is addressed from the standpoint that the learning of farmeworks difficult largely reuse and turn shortages and deficiencies in the documentation, hinders learning to use frameworks. The solution presented consists of a sophisticated model documentation based on knowledge, a methodology for the extraction of it and a proposal that is based on artificial intelligence techniques for exploitation. Because this documentation is far from static, it also defines the lifecycle of the same from his generation to the stages of use by users in a collaborative environment. The model consists of three parts documentation for descriptive domain analysis, design and implementation of the framework, and the relationships necessary for the model is related. The representation of the domain model is done using UML, the design through UML-Fy the code, using a technique that generates documentation formally analysable (Javadoc). The common support for the three models is the use of Logical descriptive. The mechanisms for the collection of documentations techniques used information retrieval and knowledge of object-oriented programming to support the generation of documentation UML design and implementation. The cycle of use and lifecycle of the documentation is based on the techniques of reasoning based on cases rich in knowledge, giving an evolutionary approach to model iCookbook. Along with the model, work defines a software architecture capable of providing the necessary collaborative environment to complement the generation and evolution of documentation, including a figure of revisor-bibliotecario responsible for approving new recipes to learn.

Author: RODRÍGUEZ DAMIÁN MARÍA.
Year: 2005.
University: VIGO [More theses of this university] [www.uvigo.es].
Place of defense: ESCUELA SUPERIOR.
Place of preparation: UNIVERSIDAD DE VIGO.

Summary: The objective of this dissertation is to research on the design of a computer vision system for automated counting pollen species of the family Urticaceae. The goal has two parts: sorting and counting pollen grains. It proposes and evaluates a generic system. The proposed system consists of several stages, destancando three of them. Detection of pollen grain in digital imaging techniques such as using the Hough transform and filters Gagor, the other stage is the extraction of contour of the pollen grain and the third the classificación grain depending on the characteristics of form and texture extracted.

Author: ARIAS FISTEUS JESUS.
Year: 2005.
University: CARLOS III DE MADRID [More theses of this university] [www.uc3m.es].
Place of defense: ESCUELA POLITECNICA SUPERIOR.
Place of preparation: UNIVERSIDAD CARLOS III DE MADRID.

Summary: In this dissertation are made contributions in the field of verification of functional requirements of business processes. On the one hand, it is proposed an open architecture, modular and extensible for the verification process, which allows for the integration of different languages definition of processes and tools of verification, and is based on a formal system intermission. Moreover, this system is defined formal intermediate, called "Common Formal Model" (CFM), which is based on systems estado-transición labeled, but with a notation oriented abstractions and representation of business processes. In order to verify the adequacy and expressiveness of this formalism to the representation of the same, an analysis based on "workflow patterns." Additionally, integrating BPEL4WS, a language for defining compositions of Web services based processes, in architecture. To that end, its semantics are defined in terms of formalism, as well as a methodology for transforming process definitions BPEL4WS definitions CFM. It is also integrated into the architecture verification two tools: the 'model checkers' Spin and NuSMV, by defining a transformation definitions between CFM and the language input of these tools.

Author: MORENO NOGUER FRANCESC D'ASSIS.
Year: 2005.
University: POLITÉCNICA DE CATALUÑA [More theses of this university] [www.upc.edu].
Place of defense: Sala d'Actes FME.
Place of preparation: EDIFICI U DESPATX 518 Campus SUD.

Author: LOPEZ JAQUERO VICTOR.
Year: 2005.
University: CASTILLA-LA MANCHA [More theses of this university] [www.uclm.es].
Place of defense: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Place of preparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Summary: The last decade has made great efforts in investigating methods that permit the inclusion of the design of the user interface in a development process based on models, trying to get benefits such as automating the generation of the Internet user-interface generation of such devices for different languages or from some common models or improving the properties of usability of the system. However, technological advances the emergence of devices that pose a significant change in the way the user interacts with the systems. The user can now interact with the system in a car, on the streets, from a mobile phone, PDA or the traditional PC. This change in habits in human machine interaction has meant the need to provide solutions to design user interfaces capable of operating under various platforms and conditions. While it is possible to keep a separate development for each family of devices, assuming the high cost of development and maintenance, it should even more difficult if not impossible to design user interfaces for each of the situations in which the user interface can potentially be used. One solution would be more efficient generation user interfaces capable of adapting to different types of devices, use environments, and even types of users automatically, but it certainly involves the modification of the existing methods for developing interfaces user. To meet this challenge, in this work, it is proposed to augment the current methods based on models for the design of user interfaces with the necessary mechanisms for the design of the adaptive skills necessary within the different stages of development of a user interface. To meet this challenge, in this work, it is proposed to augment the current methods based on models for the design of user interfaces with the necessary mechanisms for the design of the adaptive skills necessary within the different stages of development of a user interface. These extensions are collected within AB-UIDE (Agent-Based User Interface Development Environment). The method enables the generation of user interfaces capable of adapting to different situations that could potentially arise during the process of interaction. The method is supported by an architecture based on a multi-system which allows the user to provide adaptive capabilities designed using the method AB-UIDE proposed. The multi-system operators are working together to provide the user intelligently adaptations most appropriate for each situation that occurs during interaction with the user interface design.

Author: CORCOLES TENDERO JOSE EDUARDO.
Year: 2005.
University: CASTILLA-LA MANCHA [More theses of this university] [www.uclm.es].
Place of defense: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Place of preparation: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.

Summary: With the growth experienced in recent years for the Web (World Wide Web) has detected a substantial shortfall in available methods to find and manage information. Traditional methods of the site are limited to the comparison of search or keywords. To remove these limitations operations are needed at the highest level to compare, consult, analyze, combine and / or integrate data from the Web with a view to implementing them on techniques of discrimination similar to the human. In this line, the scientific community has established the foundations of what will be the next level of the Web, the Semantic Web (Berners-Lee et al., 2001). Within the Semantic Web, a domain that requires special attention is the semantics of the information space (Semantic-Geospatial Web) [Egenhofer, 2002]. In this domain integrates the potential that has spatial information on the Web with the elasticity of services provided by the Semantic Web. The goal followed along this thesis is to contribute to the goals sought for Geospatial Semantic Web (Geospatial Semantic Web), and by extension for the Semantic Web. It has developed a solution that enables the search for space resources and no-especiales at the same level of integration and located in different sources. An appeal no-espacial is defined as any resources currently available on the Web, for example, documents (HTML, PDF Ms-Word ..), images (GIF, JPG). On the other hand, an appeal is the spatial representation of an entity or group of entities through geometric Geographic Markup Language-GML. The key points of this architecture can be summarized as: the definition of a query language on GML, a study of various alternatives for storing and consulting GML efficiently, and the definition of an architecture based mediator who, through a domain ontology, allowing the integration of resources no-espaciales with space resources.

Author: ROMANI ALSO SANTIAGO.
Year: 2005.
University: POLITÉCNICA DE CATALUÑA [More theses of this university] [www.upc.edu].
Place of defense: SALA DEL LLAC DEL RECTORAT-CAMPUS NORD.
Place of preparation: EDIFICI C6 Campus NORD.

Summary: This thesis defines a computerized system to perform Color Image Segmentation, i.e. to split any digitized image into compact regions of homogeneous color pixels, so that subsequent Image Analysis systems can interpret those regions as objects of the scene. The proposed system is intended to be robust in front of color uncertainty sources, i.e. input noise, texture, shading and shadows, highlights, etc. In order to assure the maximum concordance with the human beingâs perception of color, we have decided to transform the RGB color components (Red-Green-Blue) provided by typical CCD cameras into the Smithâs HSI perceptual components (Hue-Saturation-Intensity). The new color components trim down the uneven RGB variations derived from a single chromaticity when it is illuminated with a range of intensities. However, the Smithâs HSI space presents some drawbacks. One of them is the annoying amplification of the RGB noise due to non-linear RGB-to-HSI formulae. To deal with such effect, we present a novel study of the intrinsic variability of the HSI components under different illumination level conditions. As a result, we have derived two estimators of the Hue and Saturation deviations. Based on those estimators, we formulate our Hue and Saturation Stability Functions, which express the degree of confidence of the Smithâs H-S values of any color pixel. These functions will be used all through our segmentation algorithms to enhance the reliable color information against the unstable color information. The basic idea of our segmentation scheme is to find out a set of relevant chromatic patterns of the image, so that each pixel can be classified (labeled) to the most similar pattern according to its H-S values. We propose three methods to find out a fuzzy-like characterization of the relevant chromatic patterns of an image. The simplest method consists in obtaining the Hue and Saturation histograms from a manual selection of pixels belonging to each pattern. The intermediary method is to define a global palette of chromatic patterns that cover the whole color space. The most sophisticated method is to automatically detect significant distributions of pixels within the cumulative H-S histogram of the image. This histogram is built up taking into account the reliability of the pixel colors (through the Stability Functions). In order to detect the relevant color distributions within this fuzzy histogram, we propose a new version of the watershed morphological tool. From the obtained color distributions, our system defines two membership functions (i.e. fuzzy sets) for each chromatic pattern, which depict the pattern typicality for the Hue and Saturation components Our classification process obtains the similarity degree between each image pixel and the H-S fuzzy sets of each chromatic pattern. Moreover, we have designed a method to modulate the influence of the Hue and Saturation membership functions, taking into account both test (image pixels) and training (chromatic patterns) data stability. Beyond our basic chromatic segmentation, we propose two post-processing steps. The first step consists in filtering spurious labels (tiny regions) in order to assure the maximum spatial coherence of the final regions. The second step consists in re-splitting the chromatic regions into several achromatic sub-regions in order to detect the significant intensity shades that may correspond to different parts (faces) of the perceptually relevant colored areas of the image (objects). Several experiments demonstrate that our system provides good segmentation results, which we have verified through ground truth and empirical measurements, as well as through comparison with other state-of-the-art color image segmentation algorithms. Moreover, our system provides a two-level fuzzy partitioning of the image (chromatic and achromatic) that can be very useful for further image processing steps.

Author: DIAZ DESCALZO GREGORIO.
Year: 2005.
University: CASTILLA-LA MANCHA [More theses of this university] [www.uclm.es].
Place of defense: FAC. CIEN. JURI. Y SOCIALES DE TOLEDO.
Place of preparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Summary: From the year 2000 all technologies related to the Internet, the network of networks, have undergone a dramatic development. Especially, we have seen a boom of unconscionable business processes that have decided to make their efforts using the Internet as a communication platform. This has begun to create a wide range of technologies associated with Internet with the intention of expanding technological capabilities available. A clear case are web services. This technology is proposing the construction of new programs using the Internet as a distributed database in which the various services access data and resources accessible via the Web. Therefore the design that will have the same bricks that can be compared with one another mounted create new spaces that offer a lot of services. One of the most important services is electronic commerce that could handle large sums of money. That is why we recently born of the need to verify that the systems developed to provide this service with a high degree of reliability. Hence, these systems must be designed with the lower level of potential errors or even none. It is for this reason that should be applied to this new technology formal techniques that allow us to know if the new systems are created or not mistakes. One technique is widely used verification and associated on numerous occasions we found the technique known as "Model Checking." This technique used in the earliest stages of the design of software systems can help us to find the errors that our new system suffers. But it is also necessary to determine what are the capabilities that our system should develop. The once identified which would become requirements that the final product must comply. Therefore these requirements should also be collected and tested through techniques such as we have previously named "Model Checking." So once defined techniques and the application area will be decided by a systematic way that allows us to decide or obtain information when our system has been tested successfully. Therefore it is necessary to develop a methodology that clearly indicates the different steps needed for their implementation. The first of these we will call analysis phase performs the task of acquiring the system requirements in subsequent phases will become the properties checked. At this stage will be used models guided by goals for the acquisition of the requirements. The second phase or stage design is identified with the modeling system. We will use modeling for sequence diagrams and UML activity. The third phase will be devoted to the implementation by the language WS-CDL. The fourth stage will be carried out using the verification tool UPPAAL.

Author: Porcel Gallego Carlos Gustavo.
Year: 2005.
University: GRANADA [More theses of this university] [www.ugr.es].
Place of defense: Facultad de Biblioteconomía y Documentación.
Place of preparation: E.T.S. Ingeniería Informática.

Summary: In recent years, the digital revolution is causing a big increase in the amount of information that is created and distributed electronically. On how to access this information is becoming a key issue in today's society. Users increasingly need automated tools to help them filter the vast amount of information that is available. Application of Artificial Intelligence techniques enhances systems access to information. We emphasize two types of systems for access to information, more traditional techniques based Information Retrieval (IR) that respond to specific requirements represented through consultations that users entered into the system, and based on information filtering techniques (EF) that respond to most persistent needs to be deducted from user profiles. In this report we intend to deepen in designing systems of access to information making some suggestions for improvement based on hibridaciones systems access to information based on IR and FI, together with the application of Artificial Intelligence techniques such as modeling lingà ¼ istico diffuse.

Author: MONTENEGRO MONTES JOSÉ ANTONIO.
Year: 2005.
University: MÁLAGA [More theses of this university] [www.uma.es].
Place of defense: INFORMÁTICA.
Place of preparation: INFORMÁTICA.

Summary: The objective of this thesis is the design of a scalable authorization. To that end, it was necessary to establish a prototype Infrastructure Management Privileges (PMI) in a similar way to its hononima Public Key Infrastructure (PKI) is the concept of core elements certificate. In the case of the concept of PMI we attribute certificate and the certificate of PKI will become known as public key certificate or identity. The development of PMI required as an initial step to include certificates of attributes in the OpenSSL library. Once designed and implemented elements of the PMI, we introduce the concept of Authentication and Authorization Infrastructure (AAI). The IAA is the bond of a service authentication and authorization as may be the case of a PKI with a PMI. One proposal is the establishment of a biometric authentication-based IEA, called Infrastructure Biometric Authentication and Authorization (BAAI). In addition determined appropriate by the establishment of additional authorization as is the case with the authorization anonymous adequacy prototype PMI environments ubiquitous and the establishment of an online mode PMI to remedy the problem of revocation lists. Once the authorization service was deemed necessary requirement of scalability, it was necessary to include the service within the delegation of authority. This action required to make a comparative study of the concept of delegation in existing solutions, concluding that the delegation was closer to the transfer of identity that the transfer of privileges. For this reason, it is felt necessary to create a model of fine-grained delegation based on the delegation of attributes. In addition, to facilitate the creation of sentences and delegation of authority, we have designed a language modeling sentences delegation and authorization through a visual tool that assists users to create sentences authorization and delegation, as well as translate them into chains certificates of attributes. The development of security services is meaningless without the proper linkage with the process of creating software, and the thesis work includes a methodology to capture the safety requirements in the early stages of the cycle of creation software. This will allow designers to establish security services appropriate software needed to design, as well as where they should be covered and their interaction with the various functional requirements.

Author: CUESTA INFANTE ALFREDO.
Year: 2005.
University: NACIONAL DE EDUCACIÓN A DISTANCIA [More theses of this university] [www.uned.es].
Place of defense: E.T.S. INGENIERÍA INFORMÁTICA.

Summary: The control strategies multifrequency (MF) emerge as a solution to many situations where it is impossible or unnecessary use the same sampling period at all discrete variables that may appear in the control system. On the other hand, more than 90% of the control loops include PID regulators. These raises interest adapt this type of regulatory scope multifrequency: especially in situations called MRIC (Multi-Rate Input Controller), in which the driver must update the control signal N times per sample error. This paper deals with the study of PID regulators multifrequency (PIDMF) considering the following objectives: Get a mathematical model of PIDMF to keep the meaning of the parameters of harmony, demonstrate the effect that the situation MF introduced in the driver takes action Control obtain rules of harmony in the frequency and time domain and develop a software tool to implement those rules. In order to accomplish these objectives and has used the technique for modeling operators Kranc. The rules of harmony have been developed using as a starting point the methods Ziegler-Nichols. Finally, the software tool has been developed in Matlab 7 and SysQuake 2.3. As a result, the PIDMF is capable of meeting requirements for robustness acting more smoothly and effectively than a single frequency PID in those cases where the period of sampling error has a very high value tax.

Author: PASTOR VARGAS RAFAEL.
Year: 2005.
University: NACIONAL DE EDUCACIÓN A DISTANCIA [More theses of this university] [www.uned.es].
Place of defense: E.T.S. INGENIERÍA INFORMÁTICA.

Summary: The ultimate goal is to make contributions structured design and implement pilot via the Internet, to advocate a development methodology that uses XML as a language specification. This initially described the state of the art in the field of development of laboratories remote / virtual online and the proceedings of the major research groups and initiatives, with an emphasis on approaches that define network architecture laboratory. Then, it shows the need to use XML as a language for specifying the components of a laboratory, in addition to propose ways to implement such a definition by the development tools available today. Once defined specification of components and the formal structure of a laboratory, develops implementation methodology that relies on the definition of components made using XML. This implementation methodology is based on three software components that support this methodology: the applet experimental server publication of the lab and the server on the network of laboratories. Finally, we present examples of laboratories developed by the proposed methodology, in order to demonstrate the usefulness of the specification, which demonstrates the validity of the approximation.

Author: AMIGO CABRERA ENRIQUE.
Year: 2005.
University: NACIONAL DE EDUCACIÓN A DISTANCIA [More theses of this university] [www.uned.es].
Place of defense: E.T.S. INGENIERÍA INFORMÁTICA.

Summary: In this thesis develops a model interactive access to information geared to the task of "Synthesis of Information," defined as the process to extract, organize and connect the pieces of information contained in a set of relevant documents, with the to obtain a free report that satisfies a need for complex information. First, in this thesis is an overview of the state of the art in terms of technical summary automatic, which subsumes the Synthesis of Information. It also reviewed the schemes for interaction between user and computer systems access to information and evaluation methodology. Secondly, it develops a working framework consisting of a body of reports generated manually, ISCORPUS, and an evaluation methodology, QARLA adapted to our problem. Third, we carry out a series of empirical studies on the role of key aspects of the matter dealt with in the report, with regard to the development and evaluation of an interactive model. From the analysis of ISCORPUS, it is concluded that the task of synthesizing information, it is basically quarrying, and differs depending on the type of important topic. We can distinguish between matters evolve over time (for example, "the role of government in Spain the Iraq war," and the issues that deal with different instances of a same type of event such as "European campaigns against racism. "QARLA is a framework for evaluating systems summary developed in the context of this work. entry consists of a framework together with summaries of reference generated manually, a set of reference summaries generated automatically, and a set the similarity metric. QARLA provides a measure for evaluating the quality of any set of similarity metric, a measure for assessing the quality of an abstract using the optimal set of similarity metric, and a measure to check whether the set of automatic summaries reference is reliable or whether, by contrast, can produce biased results. Compared to previous work, QARLA is capable of evaluating and implementing a set of similarity criteria without applying criteria heavy between them. this thesis is provided quantitative evidence on the effectiveness of this framework in assessing summaries by combining metric. employ part QARLA in experiments developed over the thesis. experiments developed in this thesis from QARLA and ISCORPUS allow us to conclude that Selected phrases or vocabulary included in a report are traits that do not discriminate between reports generated manually and reports generated automatically using basic strategies. however, the combination of these features with the distribution of "key concepts" enhances the ability of discrimination, others words, the distribution of key concepts must be taken into account in the development process and evaluation systems Synthesis of Information. addition, we concluded that consider information syntactic surface improves automatic extraction of key concepts, and that the forecast distribution concepts key reports model can be used for systems development Synthesis of Information. Finally, we present "PRISMA," an interactive model based on intermediate levels of access to information, and identified on the basis of empirical evidence obtained in previous experiments . compared two basic strategies exploration in the context of the Synthesis of Information: exploration titles versus exploration of key concepts. The results show that the exploration of key concepts offer clear advantages over the exploration of title documents.

Author: GARCIA BRINGAS PABLO.
Year: 2006.
University: DEUSTO [More theses of this university] [www.deusto.es].
Place of defense: FACULTAD DE INGENIERIA.
Place of preparation: FACULTAD DE INGENIERÍA.

Summary: Faced with the growing magnitude of the problem of ensuring information security systems and communications networks of all kinds, the traditional mechanisms of passive isolation and access control are shown insufficient to stem the rising number of attacks dramatically and attempted intrusion, well indiscriminate or targeted, occurring at the present time. Thus, in such circumstances, the area of knowledge of the detection Intrusiones, characterized primarily by its active behavior and the use of Artificial Intelligence techniques more or less ambitious and sophisticated, is listed as one of the latest safety technologies promising, in the medium term. Thus, it is now possible to find commercial solutions for detecting sound and renown, which focused on monitoring equipment specific, targeted to the supervision of complete communication networks, call for the use of models to represent knowledge and inference based on the concept of Expert System, a chain of rules. Thus, in general, the available knowledge concerning documented attacks against such equipment or communication networks, is represented in the form of production rules as compiled by the human administrator. These Detection Systems Uses Improper, are characterized by very precise in its decisions, as well as for a usual high level of efficiency. However, presenting a major limitation: they are not able to respond to what they do not know. Or to put it another way, given the possibility that a potential attacker might have knowledge of the detection system (question really feasible in most cases), for him to opartir of slight modifications in their procedures that camuflen their attack shares, or face attacks completely novel, there is simply no answer. Therefore, the scientific community is currently studying possible solutions to this problem, the emerging concept Anomaly Detection as an essential element analysis in the medium term, either in the form of a supplement to the traditional approach of detecting abuses, patterns or signatures, or semantic well as superset of the latter. To do so, in general, such an approach Anomaly Detection, seeks to be able to provide an answer even in situations of risk is not known in advance, based on the development of the profile system to monitor behavior, and the calculation the deviations from normal activity with respect to that profile. Thus, any deviation is considered significant enough as an anomaly in the system, and thus capable of being notified to the human operator in the form of warning signal, so that it is possible a detailed analysis of the causes of that alarm, or automatically processed , in line with the paradigm of prevention Intrusiones. Thus, with the goal of providing a full response by the detection system, both to known attacks as attacks not known before, this thesis explores the path of unification of the two main paradigms Detection Intrusiones through the use of models of knowledge representation and inference conclusions based on the concept of Bayesian Network, which provides an intrinsic full power of representation of the traditional rule-based expert systems, as well as a wide range of powerful additional capabilities, such as: inference explanatory conclusions, omnidirectional chain of causal relationships and / or correlation, intrinsic representation of the magnitude temporary learning structural (or Bayesian Data Mining) from the data, learning parametric full or sequential 8 starting 614 of such data, adaptability of the model to changes in the knowledge system noticed, or ability to obtain, through sensitivity analysis, a qualitative and quantitative outline of representativeness and degree of interdependence of the parameters that make up the scope of the problem. Thus, from the studies and experiments conducted in this PhD thesis, provides a powerful model representation of knowledge from which to develop an engine capable of adaptive reasoning infer conclusions contemplating, in a way the unified and homogeneous in the treatment of various types of detection, the knowledge paradigm Detection Improper Use one hand, as a characteristic of knowledge paradigm Detection Abnormalities on the other.

Author: GARCIA FANJUL JOSE.
Year: 2006.
University: OVIEDO [More theses of this university] [www.uniovi.es].
Place of defense: DEPARTAMENTO DE INFORMATICA.
Place of preparation: DEPARTAMENTO DE INFORMATICA. UNIVERSIDAD DE OVIEDO.

Summary: In recent years he has detected a significant and sustained increase in investment that companies engaged in the development of software-based services (SOAs). The development of SOAs, and especially the processes of evidence of this type of software a challenge to the engineers that some authors describe as a paradigm shift in software engineering. Among the challenges that must be addressed in the process of proof, for example, the lack of uniform information about available services and the cost associated with the implementation of SOAs. A very important part of SOAs existing today are compositions of services, and specifically those specified using the standard BPEL, which has become a de facto standard. This thesis describes a systematic method of generating test cases for compositions of services specified in the language BPEL. Checker is used to automatically generate models SPIN specifications of the cases. Initially outlines how to obtain a pattern of behavior operational expressed in the language PROMELA (language input SPIN) from the specification of a composition of services expressed in BPEL. Then the method is applied as a criterion of adequacy, resulting in the implementation of the model PROMELA and systematic extraction of a set of evidentiary requirements. The argument used two criteria of sufficiency based on different transitions: Coverage of transitions and coverage of pairs of adjacent transitions. Each of the requirements is transformed into a property in temporal logic LTL which is included as input for the tool SPIN. In implementing the model checker, you get a counterexample that meets at least the requirement included in the formula and it becomes a test case. Pa. illustrate and validate the method, includes two case studies in which generate test cases for two especififcaciones compositions drawn from etándar BPEL (loan approval and shipping service). It has studied the effectiveness of the test cases for such compositions generated using mutation analysis.

Author: AKEMI GALVEZ TOMIDA.
Year: 2006.
University: CANTABRIA [More theses of this university] [www.unican.es].
Place of defense: E.T.S. DE INGENIEROS DE C.C.P..
Place of preparation: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE CAMINOS, CANALES Y PUERTOS.

Summary: The main contribution of the thesis consists of a set of general methods for solving various problems interrogation surfaces and geometric processing of great interest both from a mathematical point of view as their practical applications. The methods introduced in this thesis allow obtaining various features curved surfaces, identification of curves (surfaces) isodistancia with respect to a given point (polar methods) or a curve given (parallel curves) and the calculation efficiency curves intersection of two surfaces (either in the form set out as implicit parametric). The methodology has been applied to: 1) Obtaining curves features on surfaces: Curves projection of a vector field on a surface point on a parametric surface which is a minimum distance of arbitrary external to the surface, section curves, curves geodesic, curved blade, curved silhouette. 2) Determination of curves on surfaces isodistancia with respect to a point of a curve or dice: Curves for isodistancia polar and parallel curves. 3) Calculation efficiency curves intersection of two surfaces. Cases paramétrico-implícito, paramétrico-paramétrico and implícito-implícito. Another of the contributions of the thesis is the application of a highly recent artificial intelligence, networks functional, for the resolution of the problem of reconstruction of surfaces: given a cloud of points, are looking for an area close to the NURBS point cloud , so as to satisfy certain restrictions functional. Another contribution of the thesis is the computer system CG & CAGDTutor, imlementado in Matlab and a standalone executable version is oriented world delCAGD (Computer-Aided Geomereic Design) and computer graphics.