Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Abstract--With the emergence of pervasive computing technologies into vehicles, driving has moved from an active task of steering towards an interaction or adaptation task with res...
real or abstract. It provides a widely applicable approach to the prediction of compensatory substitutions for CPDs, avoiding any reliance on rigid non-probabilistic criteria or st...
B. C. Easton, A. V. Isaev, Gavin A. Huttley, Peter...
Abstract. In order to explore the social organization of a medieval peasant community before the Hundred Years’ War, we propose the use of an adaptation of the well-known Kohonen...
Abstract--In this paper, we investigate the problem of optimizing the lifetime of a mobile ad hoc network at a given degree k of connectivity by minimizing power consumption. Our p...