557 search results - page 22 / 112 » The L4.verified Project - Next Steps |
EGC
2005
Springer
14 years 2 months ago
2005
Springer
Grid systems offer high computing capabilities that are used in many scientific research fields and thus many applications are submitted to these powerful systems. Parallel applica...
ICTAI
2003
IEEE
14 years 2 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
Although analogue phonograph recordings (LPs) have long shelf lives, there are many reasons for initiating research into proper procedures for their digital preservation. In order...
MICCAI
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
CAISE
1997
Springer
14 years 28 days ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...