COMPUTING (3)

Author: ARANSAY AZOFRA JESÚS Ma..
Year: 2005.
University: LA RIOJA [www.unirioja.es].
Place of defense: UNIVERSIDAD DE LA RIOJA.
Place of preparation: UNIVERSIDAD DE LA RIOJA.

Summary: The thesis deals with the problem of obtaining a certified version of an algorithm fundamental Algebraic Topology, known as "Motto Core Disruption." The result is a centerpiece of the system Kenzo, software dedicated to the symbolic computation in Algebraic Topology. For this purpose, using the demonstration assistant Isabelle. The content of the thesis is divided into five chapters. In the first, a brief introduction to the working tools used. Here are some definitions and results in the area of algebra Homológica, as well as relevant information on the system of Symbolic Computation Kenzo and on the demonstrator theorems Isabelle. In the second chapter, states the motto of Disruption Basic and there is a formal demonstration of the same, based on a demonstration of F. Sergeraert. The third chapter presents the most of the results that have been obtained from the research conducted. These results are a step in the direction of modeling, specification and verification of mathematical set forth in the demonstrator theorems Isabelle. More specifically, they are designed and analyzed from different points of view (ranging from the formal specification to the automation of results), four different representations of the objects needed in mathematical demonstrations. One of these representations is finally chosen to meet the requirements demanded. The fourth chapter gives a proposal extraction programs certificates from Isabelle. The interest of this proposal is twofold: firstly, its originality, since it avoids restricting demonstrations constructive mathematics to logic. Secondly, the applicability of the type of statements that are intended to address, which makes it especially attractive for programs and statements underlying Kenzo. In the fifth chapter sets out the findings and future lines of work.

Author: BARREIRO ALONSO ENRIQUE.
Year: 2005.
University: VIGO [www.uvigo.es].
Place of defense: ESCUELA SUPERIOR DE INGENIERÍA INFORMÁTICA.
Place of preparation: ESCUELA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Summary: In the field of Computer-Assisted Design called geometric design based on restrictions, is a promising paradigm in which the user describes an object through a sketch in which defines a set of geometric elements such as points, segments of line segments and circulars , and a set of geometric constraints on those elements. The main task of a CAD system would be to check if all geometric constraint defines precisely the object and, if so, determining the position and orientation of geometric elements. Solving a system of geometric constraints is to resolve the corresponding system of equations. However, the effects are non-linear systems of equations very large, with multiple solutions, which generally are difficult to treat. The problem of automatically generate the expected request by the user is known as the problem of selecting the desired solution. It is feasible to apply techniques from computing, evolutionary, and genetic algorithms specifically to this problem. The AG works with a number of parameters whose values are normally established before implementation. Since the computational effort of solving these problems is high, and in order that this method is applicable to competitive products usable by end users, it is necessary to optimize the performance of the AG through the proper configuration of these parameters. The main objective of this work is to obtain a set of values of the parameters of control in an AG to ensure that their performance is optimal. The overall objective can be broken down into the following main objectives. * Define a method for measuring the performance of an AG applied to the problem of selecting the desired solution. * Designing meaningful two sets of geometric shapes of different sizes on which to conduct the pilot, one for optimization and the other as a control sample to verify the results. * Analyze experimentally, by applying statistical techniques such as analysis of variance, the influence on the performance of the AG, have different parameters that control their performance, both individually and considering the potential effects of interactions between them. * Select the configuration parameters optimicé performance AG. * Verify the configuration obtained by comparison with other configurations from literature reference.

Author: ROBLES MARTÍNEZ GREGORIO.
Year: 2005.
University: REY JUAN CARLOS [www.urjc.es].
Place of defense: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.
Place of preparation: UNIVERSIDAD REY JUAN CARLOS.

Summary: With the emergence of the Internet has spawned new ways to develop software tools that make use of telematic, flexible methodologies used and incorporate contributions by people outside the development team. One of the examples of software development paradigm that has the characteristics mentioned can be found at the phenomenon of free software being of particular interest to large projects (in number of participants and size of software). Despite that initially these new environments are less controllable than traditional ones (because the development is generally so geographically distributed, not behind a company that carries the bulk of development, or at least not continuing the traditional hierarchical structures and to external contributions are hardly predictable), thanks to both the product development (the software itself), as many of the byproducts of the development team, systems for storing software errors or systems control and versions) are normally available publicly on the Internet, you can perform exhaustive analysis with a large amount of data, many of them hardly conseguibles in traditional areas. This thesis aims to identify data sources that offer free software projects so public, present some methodologies for the analysis of the sources and data that can be drawn from them, and show some results of the methodologies used to free software projects. The purpose is to better understand the phenomenon of free software, in particular, and the process of creating software, in general, as part of the knowledge acquired is not necessarily specific to the free software, but can be applied in any other environment development. Among the major contributions of this thesis we can see that this is the first comprehensive analysis of a large number of software projects, but the proposed methodologies and tools that have been developed for this purpose permit in the near future to further study the projects. Similarly, we have seen the importance of the Internet age complement the technical analysis performed on the product with studies socio-técnicos of people who are behind the software development.

Author: SORIANO SALVADOR ENRIQUE.
Year: 2005.
University: REY JUAN CARLOS [www.urjc.es].
Place of defense: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.
Place of preparation: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.

Summary: The ubiquitous computing is becoming a reality, and involves a very close model to a distributed system fraccionable, dynamic and heterogeneous. Our vision of a ubiquitous environment is closer to the model Peer-to Peer that the classical model Client / Server. In system 1, the nodes are mobile devices (handhelds, phones, laptops, etc.). Mobile or not (screens, electronic blackboards, workstations, etc.) connected by various types of network technologies (Ethernet Bluetooht , Wi-Fi, etc.). These devices usually belong to a user, and eventually other users want or need to use them. The system is fraccionable because situations may arise in which two devices can be connected to each other, but have no connection to the rest of the system. For example, two users are in the parking lot where there is any connection with the outside world, but they can communicate via Bluetooth technology in their devices. The system is dynamic, because the devices appear and disappear constantly (mainly mobile devices). Users like devices appear and disappear constantly. The system is heterogeneous, because the devices used by users are varied, from personal computers to appliances. In a scenario like this requires a security architecture that provides authentication, confidentiality, integrity and access control. We believe that none of the schemes proposed for distributed systems and the ubiquitous environments that meets the requirements implicit in this model: * The independence of centralized services or authentication servers. * Reducicón consumption on mobile devices and limiting processing them. * The ease of use of security mechanisms. * The need to cope with disconnections and delegation. The main objective is to design and implement a security architecture for ubiquitous environments called SHAD (Secure Human- centered Architecture for Distributed- systems) that is based on human, and to enable it to share its resources and use the resources of others in a a safe, simple and transparent.

Author: RODRÍGUEZ CARBONELL ENRIC.
Year: 2005.
University: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Place of defense: SALA DEL LLAC DE RECTORAR CAMPUS NORD.
Place of preparation: EFICICI C6 CAMPUS NORD.

Author: LÓPEZ MILLÁN GABRIEL.
Year: 2006.
University: MURCIA [www.um.es].
Place of defense: FACULTAD DE INFORMÁTICA.
Place of preparation: FACULTAD DE INFORMÁTICA.

Summary: The complexity in the administration of network services in organizations today is demonstrating that the traditional methods of controlling access to resources based on mechanisms such as username and password or identity certificates, are unable to adapt to the requirements 's own internal infrastructure of the organization and the type of service offered. Moreover when we stand on the stage with a number of organizations involved in the sharing of these services. These organizations are opting to introduce mechanisms for controlling access based on additional information from the user's identity, as attributes, roles or group membership. Thus, once authenticated user system or not to authorize access on the basis of this information. The main scenarios are being started today where such services are sharing resources Web and Grid computing. The same situation we are in the service for excellence in communications networks, the same access to the network. Suppliers, both wired and wireless network, based access control to the network infrastructure AAA (Authentication, Authorization and Accouting), mainly used for user authentication. However, the complexity in the management of millions of users and its structures to allow better management, as well as the need to provide differentiated services, are driving the new research papers and related proposals are given the authorization for users. This thesis provides a solution to control network access based on both user authentication and authorization through its credentials attribute, allowing the establishment of models RBAC (Role-Based Access Control). This solution is based on the definition of an infrastructure that goes beyond its own network management, and will define a framework standards-based, flexible, extensible and interoperable. The proposed infrastructure will provide a solution to the main problems encountered in controlling access to networks and services senior general. For example, the rigidity of the mechanism of controlling access, the need for uniformity and standardization of all policies involved in the process, or the definition of an architecture able to interoperate with any other licensing proposal. Moreover, it will allow high-level solutions, requiring the management of authentication and authorization of users, can make use of their services, thus creating a generic solution to the problem of controlling access to services.

Author: GARCÍA CLEMENTE FÉLIX JESÚS.
Year: 2006.
University: MURCIA [www.um.es].
Place of defense: FACULTAD DE INFORMÁTICA.
Place of preparation: FACULTAD DE INFORMÁTICA.

Summary: In the administration of distributed systems management is essential to ensure automatic proper operation of the system and also allows for a decentralized administration that does not limit the dynamism and extension of the organizations that depend on these distributed systems. On the way of achieving a solution for the management of automated systems, a so-called new paradigm based Management Policy has been used so widely and is now the basis of the main proposals in the field of management, as well as being the basis of research work is presented in this thesis. In this new paradigm, a policy is defined as a set of rules or practices governing the behavior of the system dynamically independently managed against the elements. So one of the main goals of the Policy-based management is to achieve the control and management of the network, applications and services in an abstraction layer at a high level. In this connection, the administrator determines the rules that describe the policies using a specific language to do so and is then management architecture which provides support to transform and distribute policies to each device as a last and taking aim implement a configuration consisting of each them. For its part the management of security policy is based on a field of research that still needs great efforts to achieve a final solution to the problem of providing automatic security. The basis of this solution is in solving the problems that currently have the language specification policies which include the lack of a common model that ensures extensibility and interoperability between different management systems, and gaps in its design in order to facilitate analysis of conflicts between policies and access to their own information policies. In this sense this thesis seeks progress in resolving these problems by proposing a new language policy for the management of security. This language policy is based on the CIM model that provides an information model that defines a standardized set of concepts relating to the management of networks, users and services. In our proposal we define a formal representation of the concepts and instances of CIM model and a logical representation of the rules of policies. Using these representations allow the use of techniques reasoning on policies that facilitate access to information for policy and analysis of conflicts between policies. The flexibility provided by using the model CIM (Common Information Model) allows our proposal to define different types of security policies. In our proposal we presented as an example: authentication policies, licensing policies, policies delegation, political obligation, political filtering and security policies IP. In addition presents an architecture management where our language policy is implemented and integrated to define security policies in different application environments. This shows how our language policy makes a valid and appropriate solution to the problems raised before.

Author: REBOLLO SANTAMARIA CRISTINA.
Year: 2006.
University: JAUME I DE CASTELLON [www.uji.es].
Place of defense: E.S.DE TECNO.Y CIE. EXPERIMENTALES.
Place of preparation: E.S.DE TECNO.Y CIE. EXPERIMENTALES.

Summary: The representation of species, has been a major problem for the interactive visualization of external scenes. The absence of plants in such scenes causes lack of realism, but the large number of polygons which are used in modeling this kind of objects makes it impossible to display interactive. This thesis addresses this problem and presents two models multirresolución continuous focus on the real-time display of trees and forests. Both models use a representation based on geometry. This feature allows benefit from the advantages offered by the new graphics hardware, such as the simulation of the effects of the wind or the increased realism through more natural illumination or with different types of shade. The data structures of the two models have been designed so that they can store the data in the graphics card and thus accelerate the process of viewing the level of detail required.

Author: PERALLOS RUIZ ASIER.
Year: 2006.
University: DEUSTO [www.deusto.es].
Place of defense: FACULTAD DE INGENIERIA.
Place of preparation: FACULTAD DE INGENIERIA.

Summary: The relevance today of Web-based applications, the impact of their quality since their high peentración in sectors of economic activity very diverse and very special and demanding circumstances under which such software is developed, have led to the realization of this thesis. In it defines a methodology for evaluating the quality of web sites designed in a way that incorporates a number of capabilities that make it particularly suitable to meet the requirements demanded in Web development. The innovative nature of the method is precisely what makes the integration of its features, although some of them were indeed present in others, very few, evaluation methods, the confluence of all in a single solution him a unique identity. So on the one hand is remarkably agile and systematic character, based on the use of assessment patterns which are reusable expertise in various reviews. Moreover, it is his remarkable ability to adapt to the characteristics of the sites, being able to determine, through a process of analysis based on the use of elements or facets of site characterization, what aspects should be assessed in each case and what priority. To emphasize further its comprehensive nature, a quality rare and responding to its overall vision of quality, which are considered seven attributes such as usability, accessibility, safety, performance, funionalidad, reliability and maintenance. Finally Make note of the fact that this is a method designed to be used when the product was operating or in their final stages of development, so that the evaluation does not constitute an additional burden on the development process. All the benefits listed have been tested experimentally, and deirivado of these improvements to the use of the method by inexperienced evaluators, providing a way of evaluating more effective, efficient and satisfactory than other techniques of assessment. The assessment framework is completed with the construction of a tool capable of providing support along every step of the evaluation process.

Author: MORILLAS GÓMEZ SAMUEL.
Year: 2006.
University: POLITÉCNICA DE VALENCIA [www.upv.es].
Place of defense: Universidad Politécnica de Valencia.
Place of preparation: Universidad Politécnica de Valencia.

Summary: The filtered image is a fundamental task for the majority of computer vision systems when images are used for automatic analysis, or even for human inspection. In fact, the presence of noise in an image can be a serious impediment to any subsequent image processing tasks, such as the detection of edges or pattern recognition or objects, and therefore, the noise should be reduced . In recent years the interest in using color images has been significantly strengthened in a variety of applications. That is why the filter color image has become an interesting area of research. It has been widely observed that the color images must be processed taking into account the correlation between the different channels of image color. In this connection, the solution probably best known and studied is the approach vector. The first vector filtering solutions, such as vector median filter (VMF) or filter directional vector (VDF), are based on the theory of statistical robust, and therefore are able to make a robust filtering. Unfortunately, these techniques are not tailored to local characteristics of the image, which usually means that the edges and details of the images emborronan and lose quality. In order to overcome this problem, several vector adaptive filters have been proposed recently. In this PhD thesis has been carried out two major tasks: (i) the study of the applicability of fuzzy metric task image processing, and (ii) the design of new filters for color image profiting from properties the metric diffuse and fuzzy logic. The experimental results presented in this thesis show that the metric diffuse and fuzzy logic are useful tools for designing filtering techniques, while not as adaptive adaptive, which are competitive with other techniques in the state of the art. In addition, as shown in a number of filters designed in this thesis, an interesting advantage of the fuzzy metric is that they provide a simple mechanism to handle multiple channels simultaneously away.

Author: FERNANDEZ VENERO MIRTHA LINA.
Year: 2006.
University: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Place of defense: AULA MÀSTER-EDIFICI A3-CAMPUS NORD.
Place of preparation: OMEGA DESPATX 240 ND.

Summary: This thesis is intended to provide a first step on the study of the monotonicity property with the aim of increasing the orderings to be used in practice for proving termination. In this light, we will show that the need of monotonic orderings for termination is closely related to the kind of rewriting under consideration as well as to the method that is applied. Within the context of the use of non-monotonic orderings, we will also focus on obtaining modularity results at the level of proofs (i.e. orderings) rather than at the level of the rewriting systems. It turns out that relaxing the monotonicity property is also important in order to provide suitable orderings for building incremental termination proofs. By suitable, we mean imposing few properties on these orderings which, in turn, means imposing few properties on the base systems and the proofs which are reused. In order to achieve our goals, we have divided our research in two main parts. The first part is devoted to study non-monotonic orderings for proving inner-most termination. The second part studies non-monotonic orderings for proving CE-termination.

Author: MENDEZ FELIU ALEX.
Year: 2006.
University: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Place of defense: SALA DEL LLAC-EDIFICI R. CAMPUS NORD.
Place of preparation: OMEGA DESPATX 240 ND.

Summary: To compute global illumination solutions for rendering virtual scenes, physically accurate methods based on radiosity or ray-tracing are usually employed. These methods, though powerful and capable of generating images with high realism, are very costly. In this thesis, some techniques to simulate and/or accelerate the computation of global illumination are studied. The obscurances technique is based on the supposition that the more occluded is a point in the scene, the darker it will appear. It is computed by analyzing the geometric environment of the point and gives a value for the indirect illumination for the point that is, though not physically accurate, visually realistic. This technique is enhanced and improved in real-time environments as videogames. It is also applied to ray-tracing frameworks to generate realistic images. In this last context, sequences of frames for animation of lights and cameras are dramatically accelerated by reusing information between frames. The obscurances are computed to simulate the indirect illumination of a scene. The direct lighting is computed apart and in an independent way. The decoupling of direct and indirect lighting is a big advantage, and we will take profit from this. We can easily add color bleeding effects without adding computation time. Another advantage is that to compute the obscurances we only need to analyze a limited environment around the point. For diffuse virtual scenes, the radiosity can be precomputed and we can navigate the scene with a realistic appearance. But when a small object moves in a dynamic real-time virtual environment, as a videogame, the recomputation of the global illumination of the scene is prohibitive. Thanks to the limited reach of the obscurance computation, we can recompute the obscurances only for the limited environment of the moving object for every frame and still have real-time frame rates. Obscurances can also be used to compute high quality images, or sequences of images for an animation, in a ray-tracing-like. This allows us to deal with non-diffuse materials and to research the use of a commonly diffuse technique as obscurances in general environments. For static cameras, using light animation only affects to direct lighting, and if we use obscurances for the indirect lighting, thanks to the decoupling of direct and indirect illumination, the computation of a series of frames for the animation is very fast. The next step is to add camera animation, reusing the obscurances results between frames. Using this last technique of reusing the illumination of the hit points between frames for a true global illumination technique as path-tracing, we study how we can reuse this information in an unbiased way. Besides, a study of different sampling techniques for the hemisphere is made, obscurances are computed with the depth-peeling technique and using GPU.

Author: ECHAVE CALVO IMANOL.
Year: 2006.
University: PAÍS VASCO [www.ehu.es].
Place of defense: FACULTAD DE INFORMÁTICA.
Place of preparation: FACULTAD DE INFORMÁTICA.

Summary: The map AutoOrganizativo (Self Organizing Map, SOM) is a neural network architecture that applies artificial competitive problems for vector quantization and removal of non-linear characteristics, as well as algorithm data visualization and high-dimensional data mining. In applications segmentation of the image, SOM is primarily used as a method of estimation of the code book vector (codebook) that allow the optimal vector qualification. Being an adaptive algorithm, especially in the release of a step on the sample, provides for the completion of this estimate of individually for each image, maximizing the codebook for each image. In this dissertation we concentrated on two areas of application. First segmentation magnetic resonance imaging high-resolution images using the supplied for this purpose by the Institute of Advanced Studies Biofuncionales of the Complutense University. Secondly consider applying the same methods in a context that is totally different from the calculation of the flow in dense optical image sequences. The approach that we believe is to take neighborhoods of vóxeles as elements of texture and use SOM algorithm for the estimation in each image codebook that quantifies best neighborhoods in the image. These vectors are assumed code as a base of support functions 2D or 3D allowing codify the texture of each pixel or vóxel depending on your neighborhood, the restriction a step on the sample makes sense to get resutlados time acceptable given the size the magnetic resonance imaging, or real-time constraints in the case of calculating the flow on optical image sequences.

Author: BAIXERIES JUVILLA JAUME.
Year: 2006.
University: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Place of defense: Sala d'Actes de la Fac. d'Informatica.
Place of preparation: OMEGA DESPATX 240 ND.

Summary: Dependencies are restrictions or constraints that apply to a set of data. They can be found in different realms: Database Theory, Data Mining, Artificial Intelligence, Propositional Logic, etc. Lattice characterization of dependencies has been studied from two different points of view: its theoretical foundations and its applications, mainly in the fields of database theory and knowledge discovery. In the first part of this thesis, we present a generic and modular lattice characterization of a set of Armstrong and symmetric dependencies, from a semantical and a syntactical point of view, in terms of Formal Concept Analysis, a formalism used in knowledge discovery. In the second part of this thesis, two applications of that lattice characterizations are also presented: the definition of Armstrong relations for Armstrong and symmetric dependencies, and the definition of a formal context for symmetric dependencies.

Author: PELAYO GARCIA BUSTELO BEGOÑA CRISTINA.
Year: 2006.
University: OVIEDO [www.uniovi.es].
Place of defense: E.U. INGENIERIA TECNICA INFORMATICA.
Place of preparation: DEPARTAMENTO DE INFORMATICA..

Summary: The specification Model Driven Architecture (MDA), is a specialization led development models that separates the business logic of the software and technology platforms. This MOU defines three types of models. The CIM, Computation Independent Model, associated with the domain name business, PIM, Platform Independent Model associated with abstract models of software, and MIP, Platform Specific Model, related software models of specific technology platforms. However MDA does not spell out how they should be models CIM and also describes how they should be processed models PIM. As a solution to this problem, this thesis presents a recommendation that proposes a development process sotware based on the modeling of business processes, classified as CIM, which are associated with the initial models of the software, considered PIM. From a valid interpretation of MDA, the proposed recommendation is based also in the implementation of other disciplines very topical. Among them we highlight the use of agile software development, to the appropriate definition of the business processes. Keywords: Model Driven Architecture (MDA), Computation Independent Model (CIM), Platform Independent Model (PIM), agile software development.

Author: García Rodríguez de Guzmán Ignacio.
Year: 2006.
University: CASTILLA-LA MANCHA [www.uclm.es].
Place of defense: Escuela Superior de Informática de Ciudad Real.
Place of preparation: Escuela Superior de Informática de Ciudad Real.

Summary: The evolution of software can be viewed from two angles: (1) developments affecting the software itself as part of the maintenance that comes into operation upon entering it in operation, and (2) the development of the technology itself software and development paradigms. Usually, a breakthrough in technological paradigms typically involves maintenance actions to adapt a software given to a new flow technology, since in many cases it is the only mechanism available to companies to stay competitive. This is the case of one of the most important paradigm changes occurred in recent years, the Service-Oriented Architecture or SOA (Service Oriented Architecture). SOA advocates approached the software as a set of services available on the Internet, either in new developments or as a method to expose functionality of legacy systems in operation. Given the importance of SOA is having on businesses by the emergence of technologies such as Web services, and the amount of legacy systems currently in operation in information systems, the need for strategies that will facilitate to some extent the migration and integration this type of systems in new environments SOA is essential. With concern somehow solve the task of migrating some types of legacy systems comes this dissertation. In our proposal is implemented PRESSWEB, a process with a dual purpose: Providing support for the integration of relational databases in SOA environments. For this, PRESSWEB provides a thread through reengineering techniques, MDA (specifically WMD or Architecture Driven Modernization), and static analysis, to discover and develop services such as relational databases. The intention is that these services can be exposed as Web services and connected in a SOA environment, so that any application can make use of them. - Provide mechanisms for the discovery of functionality into applications that tap into a database. To this end, PRESSWEB also provides a thread, which conducts an analysis of the dynamic nature, through mathematical tool Formal Concept Analysis or FCA (Formal Concept Analysis), analyzes traffic between a relational database and an application. This analysis allows to infer what the most common services performed by the application and which implements the SQL queries. Again, the idea is that these features identified can be exported as Web services, and thus be accessible to other applications that could needing them. For the implementation of both processes, we have implemented a set of metamodelos (for thread static analysis) that supports the representation of some of the devices involved, as well as support tools (for both threads) that automate some of the tasks PRESSWEB.

Author: SEBASTIÁN AGUILAR RAFAEL.
Year: 2006.
University: VALENCIA [www.uv.es].
Place of defense: ESCOLA TÉCNICA SUPERIOR D'ENGINYERIA.
Place of preparation: UNIVERSITAT DE VALÉNCIA.

Summary: This thesis presents new models and methodologies for the analysis of dynamic processes from image sequences. The analysis process sestocásticos from image sequences, which can produce overlapping spatial and temporal genetic objects, it is essential to study many real phenomena, however techniques and existing models do not solve the problem completely. The motivation for this work was the study of two cellular mechanisms, endocytosis and exocytosis, starting sequence of images obtained by means of the technique of microscopy Total Internal Relfection Fluorescence Microscopy. This technique allows the selective illumination and high precision of the cytoplasmic membrane. Our approach to the study considers the images obtained by this technique as a realization of a stochastic process that meets the conditions of stationarity and isotropy. In the first part of the study suggests the application of a methodology for the study of patterns punctual added spatial, temporal space or temporarily within the context of Process Prompt. Fundamentally focuses on the application of k-función Ripley for the study of the spatial and temporal relation of mergers reproduced by the constituent exocytosis. This methodology has never before been applied to the combined study of space and time in the process of exocytosis constituent, although it may help better understand the workings of the cell or test new hypothesis. Subsequently, a proposed extension of the model Bolleano to study processes estocáticos spatial temporal with special emphasis on the temporal dimension. Se define el modelo Boolean para el modelado de objetos superpuestos en espacio y tiempo, y seguidamente se definen los estimadores que permiten obtener el número medio de eventos por unidad de área y tiempo, su tamaño medio, y la función de densidad de las duraciones, from image sequences. There are two different approaches for estimating the model parameters. A first method based on differences, which is studying the variation in the intensity of the model over time, calculating differences between pairs of temporary sections separated by distances that are increasing. A second method is based on the aggregation of temporary sections of the model to study the increased intensity of aggregate. The model Bolleano time has been applied to the study of the areas of fluorescence generated for proteins that contribute to the endocytosis, which overlapped spatially and temporally during periods. The results obtained from a simulation study designed to test the estimators showed relative errors of between 1% and 5% for both estimation methods, which allows its application to real studies. The application of the model for the particular case of endocytosis allowed to estimate the number of events per unit area and time, and their average length, which was close to values obtained manually for the same sequences. Using the models presented in this thesis, it is possible to analyze actual phenomena which is observed overlapping objects with random shapes and lengths. His application for the study of endocytosis and exocytosis allows obtaining parameters estimated in a fast while reducing bias introduced by manual selection of samples of the process.