For access to this article, please select a purchase option:
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Your recommendation has been sent to your librarian.
Inspec keywords: formal specification; video signal processing; parallel programming; video surveillance; computer vision; cloud computing; concurrency control; middleware
Subjects: Parallel programming; Object-oriented programming; Optical, image and video signal processing; Computer vision and image processing techniques; Formal methods; Parallel software; Internet software; Video signal processing