En esta tesis se presenta la versión prototipo de MGCoop, un conjunto
de herramientas para trabajo cooperativo desarrolladas como resultado de
investigación en el área de CSCW, y su desarrollo en Java para
un ambiente de aprendizaje en el…

Over the past several years, the explosive growth of biological data generated by new high-throughput instruments has virtually begun to drown the biological community. There is no established infrastructure to deal with these data in a consistent and successful fashion.…

This thesis discusses the design and implementation of a database programming language that supports the relational algebra for nested relations with arbitrary but finite levels of nesting, and the domain algebra for nested attributes at any level of the nested…

This Thesis deals with the cultural encounter between Islam and Javanese culture as represented by the slametan ritual. The major purposes of this thesis are threefold; (1) to give a brief account of the historical backdrop of the encounter between…

This thesis documents the design and implementation of computations, the procedural abstraction facility of a database programming language. Conceived as a special form of relation, computations fit neatly into the relational model. A computation is defined over a set of…

This thesis discusses the design and implementation of a relational database programming language, focusing on the domain algebra for nested relations. While the relational algebra provides operations to manipulate relations as data primitives, the domain algebra allows the manipulation of…

In this thesis, we introduce SableCC, an object-oriented framework that generates compilers (and interpreters) in the Java programming language. This framework is based on two fundamental design decisions. Firstly, the framework uses object-oriented techniques to automatically build a strictly-typed abstract…

Alarm correlation is becoming one of the most central techniques in managing the high volume of alarm messages in fault management area, since the speed and accuracy of fault management are heavily dependent on it. The alarm correlation approach of…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.