4460 search results - page 404 / 892 » Formal methods for interactive systems |
200
click to vote
IFM
2005
Springer
16 years 9 days 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...
183
click to vote
CAV
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
153
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. We introduce an operator-based scheme for preconditioning stiff components encountered in implicit methods for hyperbolic systems of PDEs posed on regular grids. The met...
177
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a map matching algorithm for car navigation systems that predict user destination. This car navigation system is a novel system that automatically predict...
163
click to vote
EPIA
2005
Springer
16 years 10 days ago
2005
Springer
The amount of information about the genome, transcriptome and proteome, forms a problem for the scientific community: how to find the right information in a reasonable amount of ...