1031 search results - page 151 / 207 » On the Formal Development of Safety-Critical Software |
109
click to vote
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
87
Voted
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
119
Voted
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
108
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
83
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...