1171 search results - page 181 / 235 » A Logical Language for Expressing Authorizations |
175
click to vote
LICS
2008
IEEE
16 years 20 days 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...
179
click to vote
LPAR
2007
Springer
16 years 12 days 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...
166
click to vote
MODELS
2007
Springer
16 years 12 days 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...
145
click to vote
TIME
2005
IEEE
15 years 12 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...
161
click to vote
EUROPAR
2005
Springer
15 years 11 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...