7961 search results - page 1036 / 1593 » Input-Output Model Programs |
171
click to vote
IPPS
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
177
click to vote
TACAS
2005
Springer
16 years 20 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
211
click to vote
AUSAI
2004
Springer
16 years 18 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
183
click to vote
FSTTCS
2004
Springer
16 years 18 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
214
click to vote
PET
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...