620 search results - page 18 / 124 » Decidability Problems for Actor Systems |
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
93
Voted
TCS
2008
14 years 9 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...
77
Voted
MIE
2008
14 years 11 months ago
2008
Though hospitals managers wish to have a unified medication system, physicians continue double registration of prescriptions. The traditions of prescribing both electronically and ...
CAD
1998
Springer
14 years 9 months ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...