11436 search results - page 512 / 2288 » Modeling Real Reasoning |
175
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
174
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
While there have been several proposals of high performance global computing systems, scheduling schemes for the systems have not been well investigated. The reason is difficultie...
178
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Trust-management systems address the authorization problem in distributed systems. They offer several advantages over other approaches, such as support for delegation and...
183
click to vote
JSS
2002
15 years 6 months ago
2002
In defiance of the tremendous research the star network had attracted during the last decade, no parallel machine based on this network has yet been built. In this paper, we explo...
161
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we focus on the problem of existence of and computing small and large stable models. We show that for every xed integer k, there is a linear-time algorithm to decid...