Sciweavers

4052 search results - page 228 / 811
» integration 2007
Sort
View
CCS
2007
ACM
16 years 24 days ago
Automated detection of persistent kernel control-flow attacks
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
Nick L. Petroni Jr., Michael W. Hicks
SAFECOMP
2007
Springer
16 years 22 days ago
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer
This paper presents an experimental evaluation of the fault-tolerant communication (FTCOM) layer of the DECOS integrated architecture. The FTCOM layer implements different agreemen...
Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bern...
ICC
2007
IEEE
118views Communications» more  ICC 2007»
16 years 28 days ago
An Assessment of Fixed-Mobile Convergence
—FMC (Fixed-Mobile Convergence) is introduced as an approach for converging wireless and wireline networks. Even though it has a number of appealing aspects, it also has signific...
John Waclawsky, Bruce Briley
AICOM
2004
100views more  AICOM 2004»
15 years 6 months ago
Query rewriting with symmetric constraints
Abstract. We address the problem of answering queries using expressive symmetric inter-schema constraints which allow to establish mappings between several heterogeneous informatio...
Christoph Koch
WOTUG
2007
15 years 7 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider