12774 search results - page 357 / 2555 » A Framework for Proof Systems |
160
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
201
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
209
click to vote
KRDB
1996
15 years 8 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
232
click to vote
AMC
1999
15 years 6 months ago
1999
The stability of the equilibria of time-invariant nonlinear dynamical systems with discrete time scale is investigated. We present an elementary proof showing that in the case of ...
184
click to vote
IJSYSC
2010
15 years 5 months ago
2010
— First order linear time invariant and time delayed dynamics of neutral type is taken into account with three rationally independent delays. There are two main contributions of ...