3229 search results - page 91 / 646 » Theories with the Independence Property |
184
click to vote
TABLEAUX
2009
Springer
16 years 25 days ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
155
click to vote
ICARCV
2008
IEEE
16 years 23 days ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
162
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
171
click to vote
KRDB
2003
15 years 7 months ago
2003
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...
127
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—In wireless networks with random node distribution, the underlying point process model and the channel fading process are usually considered separately. A unified frame...