role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
In this paper, we propose the Interactive 3D BreakAway Map (I3BAM), an extension of the wellknown Worlds In Miniature [6]. The I3BAM supports user navigation in virtual buildings ...
This paper describes a sensor-based middleware for performance monitoring and data integration in the Grid that is capable of self-management. The middleware unifies both system ...
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
The Ensemble methodology supports the design and implementation of message passing applications, particularly MPMD and those demanding irregular or partially regular process topol...