557 search results - page 54 / 112 » The L4.verified Project - Next Steps |
148
Voted
HICSS
2006
IEEE
16 years 6 days 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...
150
Voted
OOIS
2001
Springer
15 years 10 months 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...
129
Voted
ASWEC
2000
IEEE
15 years 10 months 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...
146
Voted
TSD
1999
Springer
15 years 10 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...
167
Voted
MICCAI
1998
Springer
15 years 10 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...