171 search results - page 17 / 35 » Precise Documentation of Critical Software |
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
The data volume of XML repositories and the response time of query processing have become critical issues for many applications, especially for those in the Web. An interesting alt...
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
We present a model, based on the maximum entropy method, for analyzing various measures of retrieval performance such as average precision, R-precision, and precision-at-cutoffs....
APSEC
2007
IEEE
13 years 12 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
WACC
1999
ACM
14 years 6 days ago
1999
ACM
Temporal workflow management is important for processes that are time-driven. Claim handling, which requires the documentation, diagnosis, and resolution of customer claims due to...