Sciweavers

9049 search results - page 316 / 1810
» The New C Standard
Sort
View
ESAS
2007
Springer
16 years 27 days ago
Security Associations in Personal Networks: A Comparative Analysis
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...
Jani Suomalainen, Jukka Valkonen, N. Asokan
CCECE
2006
IEEE
16 years 24 days ago
A Frame Layer Bit Allocation for H.264 Based on Frame Complexity
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...
Hoda Roodaki, Mahmoud Reza Hashemi, Omid Fatemi
ICTAI
2006
IEEE
16 years 23 days ago
A Multi-HMM Approach to ECG Segmentation
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...
Julien Thomas, Cédric Rose, François...
ICALP
2004
Springer
16 years 3 days ago
Model Checking with Multi-valued Logics
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...
Glenn Bruns, Patrice Godefroid
ADAEUROPE
2003
Springer
15 years 12 months ago
An Invitation to Ada 2005
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...
Pascal Leroy