2836 search results - page 482 / 568 » Evaluating a Qualitative Reasoner |
140
click to vote
CCR
2007
15 years 6 months ago
2007
Delayed acknowledgments were introduced to conserve network and host resources. Further reduction of the acknowledgment frequency can be motivated in the same way. However, reduci...
142
click to vote
CN
2007
15 years 6 months ago
2007
Uncontrolled overload can lead e-commerce applications to considerable revenue losses. For this reason, overload prevention in these applications is a critical issue. In this pape...
170
click to vote
IJBC
2006
15 years 6 months ago
2006
In recent years, a large amount of work on chaos-based cryptosystems have been published. However many of the proposed schemes fail to explain or do not possess a number of featur...
149
click to vote
INFSOF
2006
15 years 6 months ago
2006
Partial rollback mechanism has been widely supported by many database management systems (DBMSs). It allows a transaction to be rolled back partially, that is, only back to a cert...
156
click to vote
LISP
2008
15 years 6 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...