557 search results - page 99 / 112 » The L4.verified Project - Next Steps |
CA
2002
IEEE
14 years 17 days ago
2002
IEEE
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
EDOC
2002
IEEE
14 years 16 days ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
HICSS
2002
IEEE
14 years 16 days ago
2002
IEEE
Currently, the cDNA and genomic sequence projects are processing at such a rapid rate that more and more gene data become available. New methods are needed to efficiently and eff...
DAGM
2001
Springer
14 years 3 days ago
2001
Springer
We show a framework for growth analysis of plant roots in object coordinates which is one requirement for the botanical evaluation of growth mechanisms in roots. The method present...
INAP
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...