5170 search results - page 930 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
186
click to vote
AMAST
2004
Springer
16 years 8 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...
207
click to vote
SDMW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
224
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
164
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
In this paper, we explore the execution of pipelined hash joins in a multiprocessor-based database system. To improve the query execution, an innovative approach on query executio...
222
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, the influence of intonation to recognize dialogue acts from speech is assessed. Assessment is based on an empirical approach: manually tagged data from a spoken-dial...