557 search results - page 54 / 112 » The L4.verified Project - Next Steps |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Whereas computer-supported sharing of information is a core issue of e-Government integration and interoperation, the key players involved hardly find any guidance how to settle f...
OOIS
2001
Springer
14 years 4 days ago
2001
Springer
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
ASWEC
2000
IEEE
14 years 4 days ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
TSD
1999
Springer
13 years 12 months ago
1999
Springer
The use of the treebank as a resource for linguistic research has led us to look for an annotation scheme representing not only surface syntactic information (in ‘analytic trees...
MICCAI
1998
Springer
13 years 12 months ago
1998
Springer
Measuring motion in medical imagery becomes more and more important, in particular for object tracking, image registration, and local displacement measurements. Often, the require...