Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...
The new H.264/AVC video coding standard delivers a significantly better performance compared to previous standards, supporting higher quality video over lower bit rate channels. I...
Pharmaceutic studies require to analyze thousands of ECGs in order to evaluate the side effects of a new drug. In this paper we present a new approach to automatic ECG segmentatio...
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...