557 search results - page 64 / 112 » The L4.verified Project - Next Steps |
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
PDC
2004
ACM
14 years 1 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
DEXA
2003
Springer
14 years 28 days ago
2003
Springer
Effective daily processing of large amounts of paper documents in office environments requires the application of semantic-based indexing techniques during the transformation of pa...
JCDL
2010
ACM
14 years 23 days ago
2010
ACM
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
PFE
2001
Springer
14 years 3 days ago
2001
Springer
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...