3425 search results - page 478 / 685 » A Model Driven Approach for Software Systems Reliability |
140
click to vote
ETRA
2010
ACM
15 years 9 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...
153
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
140
click to vote
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
103
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Question answering systems increasingly need to deal with complex information needs that require more than simple factoid answers. The evaluation of such systems is usually carrie...
140
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...