8022 search results - page 66 / 1605 » Predictability in Critical Systems |
118
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
129
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...
129
click to vote
SCS
2001
15 years 5 months ago
2001
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
136
click to vote
SQJ
2002
15 years 3 months ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...
150
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities. A critical problem in a crisis situation is how t...