The design of multi-touch multi-user tabletop user interfaces is still in its infancy and is not yet well understood. To date, published experimental results have primarily focuse...
— ODIS is an omni-directional mobile robot designed to autonomously or semi-autonomously inspect automobiles in a parking lot. Periodically, its position and orientation referenc...
Matthew D. Berkemeier, Morgan E. Davidson, Vikas B...
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...