5180 search results - page 256 / 1036 » Requirements Engineering |
138
click to vote
ADAEUROPE
1998
Springer
15 years 10 months ago
1998
Springer
: This paper describes a software architecture for industrial robots used in manufacturing equipment. In order to achieve software portability, the application software is dissocia...
186
click to vote
DBSEC
2010
15 years 6 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...
173
click to vote
IJVR
2008
15 years 6 months ago
2008
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
162
click to vote
SETP
2007
15 years 8 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
175
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...