A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
We evaluate pathchar, a tool that infers the characteristics of links along an Internet path latency, bandwidth, queue delays. Looking at two example paths, we identify circumst...
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
This paper describes the development of an Adaptive Learning Management System with Support for 3D Collaboration (ALMaS-3D) and presents an evaluation of its main functionalities....
Claudio Kirner, Clodonil H. Trigo, Tereza G. Kirne...