6293 search results - page 420 / 1259 » Information Flow Testing |
181
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
157
Voted
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
Allometric scaling is an important universal property of metabolic living systems. It also describes the self-similar branching treeliked structures in transportation networks. Thi...
162
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a novel mechanism for dynamic rate control of prioritised Voice Over IP (VoIP) traffic in real time. The system uses our proposed variable bit rate speech codec...
161
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to the growth of unresponsive UDP traffic in the Internet, it becomes increasingly important for ISPs to amply shape the traffic that leaves their network. Ideally, flows shou...
149
click to vote
DMSN
2006
ACM
15 years 10 months ago
2006
ACM
Sensors provide unprecedented access to a wealth of information from the physical environment in real-time. However, they suffer from a variety of resource limitations, most impor...