Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
For effective management it is necessary to have methods by which management applications can periodically retrieve large volumes of information from network devices. In this work...
In this article, we describe a Service Creation Environment (SCE) that allows for protocol- and technology-independent development, deployment, and maintenance of interactive, men...
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
Abstract. The recent emergence of a whole plethora of new wireless technologies, such as IEEE802.15, IEEE802.11, and UMTS, etc, has exposed the limitations of mobility solutions in...
Amine M. Houyou, Hermann de Meer, Moritz Esterhazy