Los lenguajes orientados a objetos son utilizados en la programación de agentes y, ge- neralmente, satisfacen muchos de sus requerimientos pero presentan inconvenientes en la representación y tratamiento de actitudes mentales. Los lenguajes lógicos permiten repre- sentar actitudes mentales en…

In this work a statics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of statics. The applets have the advantage…

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…

En este proyecto se diseña y construye un sistema para el manejo de dispositivos eléctricos comunes en el hogar tal como una cerradura eléctrica y una lámpara sencilla, u otros dispositivos que también funcionen con 120 voltios a través de…

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…

The explosive growth of the wireless users requires efficient channel utilization. In this thesis, we present a new channel allocation strategy with waiting queue model instead of the block-and-clear model so that the quality of service in cellular network can…

As the number of applications of computers controlling safety-critical operations increases, the need to ensure the safety and reliability of the software that controls those computers increases proportionally. Ultimately, such software properties are the result of appropriate design and implementation.…

This thesis deals with the rise of mystical movements (Aliran Kebatinan) in post-independence Indonesia, focusing on Susila Budhi Dharma (Subud), founded in 1925 by Muhammad Subuh. Despite that Subuh had been raised as a Javanese man and was heavily influenced…