1058 search results - page 110 / 212 » Fault-Tolerant Resource Reasoning |
95
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
95
Voted
CDVE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...
104
Voted
JELIA
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
133
Voted
LICS
1993
IEEE
15 years 4 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
107
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...