During development of new protocols and systems researchers in most cases use simulations for evaluation of their product, especially in the area of communication networks. The qu...
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
Oskar Wibling, Joachim Parrow, Arnold Neville Pear...
This work presents a synchronous collaborative graphical editor that implements a proposal of an awareness mechanism of a collaborative artifact evolution. The graphical editor all...
Alexandre Pereira Meire, Marcos R. S. Borges, Rena...
In this paper we present an integrated approach to the development of Complex Web Applications. The principal philosophy of the development is to support simplicity, consistency, ...
Gary Griffiths, Mike A. Lockyer, Briony J. Oates, ...
This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...