3425 search results - page 216 / 685 » A Model Driven Approach for Software Systems Reliability |
182
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
178
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
145
click to vote
VIP
2000
15 years 5 months ago
2000
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...
124
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
132
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...