309 search results - page 28 / 62 » Termination proofs for systems code |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
We present a framework to prevent code injection attacks in MS Windows using Native APIs in the operating system. By adopting the idea of diversity, this approach is implemented i...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
SECON
2007
IEEE
14 years 2 months ago
2007
IEEE
— Cooperative communications can help combat fading and hence can significantly increase the capacity of wireless networks. Although various schemes have been proposed to levera...
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— A continuously increasing demand for higher spectral efficiencies in mobile communications will require next generation cellular systems to employ a very dense reuse o...
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
— In this work, we consider differential modulation in two-way relay channels (TWRC). In single antenna systems, we propose non-coherent schemes for both amplify-and forward (AF)...