3527 search results - page 490 / 706 » Test Automation in Practice |
104
click to vote
DLOG
2008
15 years 1 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
84
Voted
USENIX
2008
15 years 1 months ago
2008
Network emulation is valuable largely because of its ability to study applications running on real hosts and "somewhat real" networks. However, conservatively allocating...
94
Voted
DLOG
2003
15 years 8 days ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
91
Voted
CSL
2010
Springer
15 years 7 hour ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
IMCS
2007
14 years 10 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...