168 search results - page 24 / 34 » Towards validated real-time software |
125
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
222
click to vote
ICSM
2000
IEEE
15 years 8 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
141
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
133
click to vote
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
135
click to vote
USS
2008
15 years 6 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...