237 search results - page 1 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
ECBS
2000
IEEE
13 years 9 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
DSN
2007
IEEE
13 years 11 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
BILDMED
2004
13 years 6 months ago
2004
In this paper we present a level-set framework for accurate and efficient extraction of the surface of a brain from MRI data. To prevent the so-called partial volume effect we use ...