4048 search results - page 321 / 810 » Design Science, Engineering Science and Requirements Enginee... |
170
click to vote
IUI
2004
ACM
16 years 21 days ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
167
click to vote
IAAI
1993
15 years 8 months ago
1993
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
240
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
172
click to vote
ICRE
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
162
click to vote
COMPSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
he correspondence between the role abstraction in Role-based Access Control (RBAC) and the notion of organizational positions, it seems easy to construct role hierarchies. This is...