15375 search results - page 350 / 3075 » cans 2008 |
133
Voted
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
132
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
136
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
141
Voted
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
108
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G