50 search results - page 2 / 10 » Undecidability Results for Finite Interactive Systems |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
FIMH
2007
Springer
14 years 1 months ago
2007
Springer
Placement of Implantable Cardiac Defibrillator (ICD) leads in children and some adults is challenging due to anatomical factors. As a result, novel ad hoc non-transvenous implant t...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
FUIN
2010
13 years 5 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
EUROGRAPHICS
2010
Eurographics
14 years 2 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...