— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud R...
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
—Delay and disruption tolerant networks have been proposed to address data communication challenges in network scenarios where an instantaneous end-to-end path between a source a...
Mooi Choo Chuah, Peng Yang, Brian D. Davison, Lian...
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
This paper presents two case studies of informal group communication using multimedia conferencing that supports various media including video, audio and chat. The studies provide...