9145 search results - page 1436 / 1829 » Description Logic Systems |
172
click to vote
ESORICS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
164
click to vote
FASE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
159
click to vote
FPL
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
140
click to vote
GPCE
2004
Springer
16 years 8 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
157
click to vote
PVM
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...