2776 search results - page 343 / 556 » System-Level Abstraction Semantics |
183
click to vote
ESORICS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
199
click to vote
FMICS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
157
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
168
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
155
click to vote
SAS
2007
Springer
16 years 21 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...