This paper describes a prototype retail environment in which information interactions occur in situ, within the actual space of the merchandise. By combining a steerable projected...
Noi Sukaviriya, Mark Podlaseck, Rick Kjeldsen, Ant...
In this paper, a new approach for navigation assistance through sets of volumetric data is presented. This innovative method uses force feedback in two dimensions to guide the use...
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
Rosa Candida Pinto, Carla T. L. L. Silva, Jaelson ...
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
E-business is one important element promoting business competitiveness and is thus closely linked to innovation. However, the potentials of ICT for business processes are not yet ...