27 search results - page 2 / 6 » Running the manual: an approach to high-assurance microkerne... |
ACE
2004
13 years 6 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
C++
1994
13 years 6 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
WWW
2008
ACM
14 years 6 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
CLEF
2006
Springer
13 years 9 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...