322 search results - page 61 / 65 » Expressive power and abstraction in Essence |
180
click to vote
EUROPKI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
172
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
168
click to vote
FCCM
2000
IEEE
15 years 10 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
149
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
168
click to vote
ACSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract Role-based access control RBAC has recently received a lot of attention due to its exibility, expressive power and simplicity in administration. In RBAC permissions are as...