9425 search results - page 437 / 1885 » Some Notes on Models and Modelling |
108
Voted
FIMH
2005
Springer
15 years 10 months ago
2005
Springer
We describe numerical simulations of spiral waves dynamics in the computational model of human atrial tissue with the CourtemancheRamirez-Nattel local kinetics. The spiral wave was...
162
Voted
IFM
2005
Springer
15 years 10 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
229
click to vote
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively fe...
133
Voted
IWQOS
2005
Springer
15 years 10 months ago
2005
Springer
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
126
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...