2661 search results - page 324 / 533 » A Semantics for Abstraction |
191
click to vote
EPIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
190
click to vote
ESORICS
2007
Springer
16 years 25 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...
203
click to vote
FMICS
2007
Springer
16 years 25 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...
160
click to vote
MIDDLEWARE
2007
Springer
16 years 24 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...
169
click to vote
SAFECOMP
2007
Springer
16 years 23 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...