3256 search results - page 467 / 652 » Applications of Formal Methods to System Design and Verifica... |
154
click to vote
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
135
click to vote
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
146
click to vote
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
152
click to vote
AAAI
2007
15 years 7 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
136
Voted
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...