4469 search results - page 118 / 894 » A Language for Role Specifications |
147
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
152
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
128
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
114
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we describe two examples of implementations of the Media Fragments URI specification which is currently being developed by the W3C Media Fragments Working Group. Th...
129
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...