474 search results - page 50 / 95 » Assurance Based Development of Critical Systems |
120
click to vote
ISCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Network firewalls remain the forefront defense for most computer systems. These critical devices filter traffic by comparing arriving packets to a list of rules, or security po...
225
Voted
ECRTS
2010
IEEE
15 years 6 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
183
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
147
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...
161
click to vote
IJCAI
1989
15 years 6 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...