691 search results - page 59 / 139 » Equational Abstractions |
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper discusses several aspects related to the consistency and stability of the discrete adjoints of upwind numerical schemes. First and third order upwind discretiz...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
KES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents a mathematical model for dynamic decision making with an objective function induced from fuzzy preferences. The fuzzy preference is related to decisio...
VOSS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...