2935 search results - page 364 / 587 » An Integrated Approach to High Integrity Software Verificati... |
222
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
176
click to vote
AAAI
1998
15 years 7 months ago
1998
We present an approach for optimizing the performance of information agents by materializing useful information . A critical problem with information agents, particularly those ga...
189
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
306
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
199
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...