8644 search results - page 141 / 1729 » On the Composition of Secure Systems |
156
click to vote
RECOSOC
2007
15 years 8 months ago
2007
—Self-adaptive systems have the ability to adapt themselves to mutating external or internal conditions without requesting any intervention of the user; the security of such syst...
156
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
188
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
153
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
150
click to vote
FUIN
2008
15 years 6 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...