— We consider systems of mobile robots that execute a transportation task and periodically recharge from a docking station. The location of the docking station has a considerable...
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
This paper addresses mobility control routing in wireless networks. Given a data flow request between a sourcedestination pair, the problem is to move nodes towards the best placem...
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
Kevin R. B. Butler, William Enck, Harri Hursti, St...
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...