141 search results - page 24 / 29 » Composition and integrity preservation of secure reactive sy... |
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
ACSAC
2002
IEEE
14 years 17 days ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
FC
2005
Springer
14 years 1 months ago
2005
Springer
We consider defenses against confidentiality and integrity attacks on data following break-ins, or so-called intrusion resistant storage technologies. We investigate the problem o...
MOC
2010
13 years 2 months ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Network intrusion detection systems (NIDSs) critically rely on processing a great deal of state. Often much of this state resides solely in the volatile processor memory accessibl...