Authentication techniques for a large-scale network are essential for the booming applications of e-commerce and e-business. In this thesis, authentication techniques for a larger-scale network are discussed. In-deep discussions on the independent path technique are presented. An authentication protocol based…

In the context of an object-oriented programming language such as Java, the ubiquitous use of instance fields and the presence of pointers (references to objects) make it difficult to understand a program's memory usage. Understanding memory usage is a key…

El desarrollo de Sistemas Multi-agente es un problema complejo, su resolución generalmente involucra el análisis de problemas típicos de sistemas distribuidos, con entidades (agentes) que negocian, tienen la capacidad de aprendizaje, etc. Las soluciones existentes van desde desarrollos de cero…

Mobile agents are often described as a promising technology moving towards the vision of a widely distributed scalable electronic market. The deployment of electronic services, especially in the area of electronic commerce, raises essential questions closely related to security issues.…

Virtual method calls are a fundamental feature offered by Java, an object-oriented programming language. However, they are also a source of degradation of performance at run time and imprecision in interprocedural analyses. There are several well known, inexpensive analyses that…

Currently, the telecommunications management systems are powerful, however, maintain centralized and proprietary platforms, limiting this way, the growth of these telecommunications networks. This factor generates the need for scalable and open systems, stimulating the sectors of the telecommunications area to…

A Internet possui hoje, mais de 100 milhoes de pessoas em mais de 100 países. Tomou proporções tais que não pode mais ser ignorada pelo mercado.
Paulatinamente, a cultura da rede mundial foi aceitando o fato de coexistir com empresas…

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

El estudio de la radiactividad y su influencia en los seres vivos es un tema fundamental para la formación de los alumnos de los grados en Biología y Ciencias del Mar, y por lo tanto aparece incluido en el plan…

Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…