1415 search results - page 140 / 283 » Verified systems by composition from verified components |
173
click to vote
JCST
2008
15 years 6 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
152
click to vote
IEEEARES
2007
IEEE
16 years 21 days ago
2007
IEEE
The formidable difficulty in securing systems stems in large part from the increasing complexity of the systems we build but also the degree to which we now depend on information ...
176
click to vote
LISA
2007
15 years 8 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
164
click to vote
FORTE
2008
15 years 7 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
179
click to vote
TACAS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...