4211 search results - page 138 / 843 » A formal approach to MASQ |
108
Voted
CISIS
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
119
click to vote
SAC
2000
ACM
15 years 4 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
107
Voted
DAGSTUHL
1998
15 years 2 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
132
click to vote
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
109
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...