5182 search results - page 312 / 1037 » COTS-Based Requirements Engineering |
224
click to vote
FOSSACS
2008
Springer
15 years 9 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
163
click to vote
FECS
2007
15 years 8 months ago
2007
In this paper, we discuss the design and engineering of the C-P30, a custom robot design at Cal Poly State University, San Luis Obispo. This robot is designed by undergraduate com...
208
click to vote
PDSE
1998
15 years 8 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
230
click to vote
AVI
1996
15 years 8 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
210
click to vote
DBSEC
2010
15 years 7 months ago
2010
We propose a framework to evaluate the risk incurred when managing users and permissions through RBAC. The risk analysis framework does not require roles to be defined, thus making...