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...
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
This research looks at design methods for children technologies. It takes a User-Centred Design approach, where the involvement of the users is essential to the achievement of sat...
Suppose one has a line arrangement and one wants to find a shortest path from one point lying on a line of the arrangement to another such point. We look at a special case: the a...
Though the Palm is mainly a business tool, many games have been developed for it and more are published daily. This article starts by examining the status of game development on t...