Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Social annotation systems such as SparTag.us and del.icio.us have been designed to encourage individual reading and marking behaviors that, when shared, accumulate to build collect...
Les Nelson, Gregorio Convertino, Peter Pirolli, Li...
We present two studies of participatory sensing in the wild, in which groups of young people used sensors to collect environmental data along with contextual information such as p...
Multicore has shown its merits of high performance and low power consumption compared with traditional single cores. It also puts a challenge to the universities in how to teach a...
Qingsong Shi, Tianzhou Chen, Hu Wei, Jolly Wang, N...
CT This paper describes experiences from two organizations that have used the Riskit method for risk management in their software projects. This paper presents the Riskit method, t...