—This paper presents the Weight-Watcher service. This service aims at providing resource consumption measurements and estimations for software executing on resourceconstrained de...
Wireless sensor networks are becoming a basis for a rapidly increasing range of applications. Habitat, flood, and wildfire monitoring are interesting examples of such applicatio...
Mobile Augmented Reality System (MARS) based elearning environments equip a learner with a mobile wearable see-through display that interacts with training/learning software. MARS...
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...