345 search results - page 1 / 69 » Computer-Assisted Simulation Proofs |
CAV
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
MOC
1998
13 years 9 months ago
1998
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
WSC
2000
13 years 11 months ago
2000
Modeling requires considerable knowledge of the various stages of the simulation process. The modeler needs to know a great deal of the system to be modeled (domain specific knowl...
EDUTAINMENT
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents our design and experiment of a computer-assisted class laboratory on vectors in high-school. Our main goal is to improve the acquisition on notions by all pupi...
ICMLA
2007
13 years 11 months ago
2007
— This paper addresses the problem of understanding preservation and reconstruction requirements for computeraided medical decision-making. With an increasing number of computer-...