Sciweavers

1139 search results - page 41 / 228
» Design and Implementation of a TCG-based Integrity Measureme...
Sort
View
TSE
2008
131views more  TSE 2008»
15 years 5 months ago
Enhancing an Application Server to Support Available Components
Three-tier middleware architecture is commonly used for hosting enterprise-distributed applications. Typically, the application is decomposed into three layers: front end, middle t...
Achmad I. Kistijantoro, Graham Morgan, Santosh K. ...
ASPLOS
2010
ACM
15 years 9 months ago
Orthrus: efficient software integrity protection on multi-cores
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
Ruirui Huang, Daniel Y. Deng, G. Edward Suh
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
16 years 6 days ago
Comparative evaluation of robotic software integration systems: A case study
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
Azamat Shakhimardanov, Erwin Prassler
PDSE
2000
116views more  PDSE 2000»
15 years 7 months ago
A CORBA-Based Architecture for Adding Dependability to Legacy Servers
This work presents a flexible, CORBA compliant Middle-Tier Server architecture which is capable of adding dependability (namely, reliability, availability, and performability) to ...
Domenico Cotroneo, Luigi Romano, Stefano Russo, Ni...
DAC
2010
ACM
15 years 9 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare