1171 search results - page 181 / 235 » A Logical Language for Expressing Authorizations |
101
click to vote
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
100
click to vote
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...