509 search results - page 29 / 102 » Preserving Properties Under Change |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper introduces stochastic port-Hamiltonian systems and clarifies some of their properties. Stochastic portHamiltonian systems are extension of port-Hamiltonian systems ...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
SIAMMAX
2011
13 years 4 months ago
2011
Rational eigenvalue problems (REPs) are an emerging class of nonlinear eigenvalue problems that arise from a variety of physical applications. In this paper, we propose a lineariz...
DLT
2007
13 years 11 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...