Very efficient still image compression methods exist today, but most of them are not fit for transmission on error prone channels. One example of state-of-the-art robust image cod...
Arthur L. A. da Cunha, Weiler Alves Finamore, Edua...
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Video is one of the most popular data shared in the Web, and the protection of video copyright is of vast interest. In this paper, we present a comprehensive approach for protecti...
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...