2935 search results - page 226 / 587 » An Integrated Approach to High Integrity Software Verificati... |
186
click to vote
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
205
click to vote
ACMSE
2006
ACM
16 years 18 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
205
click to vote
IFIPTM
2009
15 years 4 months ago
2009
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
199
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
153
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Surgical approaches tailored to an individual patient's anatomy and pathology have become standard in neurosurgery. Precise preoperative planning of these procedures, however,...