In this paper new, lightweight security and control protocol for Voice over Internet Protocol (VoIP) service is presented. It is the alternative for the IETF's (Internet Engi...
— Human arm dynamics can be used for control of human-machine interfaces in haptic applications. In this paper, a novel method for online estimation of human operator elbow imped...
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...