620 search results - page 15 / 124 » Decidability Problems for Actor Systems |
PODC
1999
ACM
15 years 2 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
92
Voted
CSL
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
111
click to vote
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
CA
2002
IEEE
15 years 2 months ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...