15644 search results - page 2741 / 3129 » Brittle System Analysis |
223
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
185
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
201
click to vote
AUSAI
2004
Springer
16 years 6 days ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
174
click to vote
AUSAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Analysis of queries posed to open-domain question-answering systems indicates that particular types of queries are dominant, e.g., queries about the identity of people, a...
154
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....