Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
- Location systems based on already-deployed cellular networks spend the resources of the underlying communications network. This paper proposes a middleware that reduces the consu...
The Internet today can be seen as a global market for electronic services. Each provider can offer its services, and customers can choose between several providers offering simila...
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
Farshad A. Samimi, Philip K. McKinley, Seyed Masou...
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...