VizWear-Active is a wearable active vision system for distributed computing environments. It consists of wearable and infrastructure-side modules that autonomously and cooperative...
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...