3429 search results - page 579 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
SP
2009
IEEE
14 years 5 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
RTCSA
2003
IEEE
14 years 3 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
COORDINATION
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
ENTCS
2002
13 years 10 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
POLICY
2009
Springer
14 years 4 months ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...