1282 search results - page 173 / 257 » Practical Loss-Resilient Codes |
APLAS
2007
ACM
14 years 1 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...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
Wireless LANs (WLANs) have been deployed at a remarkable rate at university campuses, office buildings, airports, hotels, and malls. Providing efficient and reliable wireless comm...
HOTOS
2007
IEEE
14 years 1 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
ICMB
2007
IEEE
14 years 1 months ago
2007
IEEE
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...