Sprite coding is a very efficient method for the representation and compression of background video object, which has been accepted by MPEG-4 standard. However, how to automatical...
Host-based Intrusion Detection Systems (IDS) that rely on audit data exhibit a delay between attack execution and attack detection. A knowledgeable attacker can use this delay to d...
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
A major problem in object oriented video coding and MPEG-4 is the encoding of object boundanes. Traditionally, and within MPEG-4, the encodingof shape and textureinformationare se...
Lisimachos P. Kondi, Gerry Melnikov, Aggelos K. Ka...
Abstract. Protection of software code against illegitimate modifications by its users is a pressing issue to many software developers. Many software-based mechanisms for protectin...