851 search results - page 44 / 171 » History Effects and Verification |
129
click to vote
DAC
2010
ACM
15 years 3 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
201
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
103
click to vote
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
Generic web search is designed to serve all users, independent of the individual needs and without any adaptation to personal requirements. We propose a novel technique1 that perf...
110
click to vote
NLDB
2004
Springer
15 years 5 months ago
2004
Springer
Many queries processed on the World Wide Web do not return the desired results because they fail to take into account the context of the query and information about user’s situat...