In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
Frederick T. Sheldon, Stefan Greiner, Matthias Ben...
For a positive integer n that is not a power of 2, precisely the same family of convex polygons with n sides is optimal in three different geometric problems. These polygons have ...
This investigates a new problem of visualizing a set of overlapping networks. We present two methods for constructing visualization of two and three overlapping networks in three ...
David Cho Yau Fung, Seok-Hee Hong, Dirk Koschü...
Abstract— In this paper we present initial experiments towards environmental monitoring with a mobile platform. A prototype of a pollution monitoring robot was set up which measu...
Marco Trincavelli, Matteo Reggente, Silvia Corades...
This paper reports two experiments relating to the design of Tactons (or tactile icons). The first experiment investigated perception of vibro-tactile “roughness” (created usi...
Lorna M. Brown, Stephen A. Brewster, Helen C. Purc...