790 search results - page 74 / 158 » Abstract modeling for engineering and engagement level simul... |
ICSE
2000
IEEE-ACM
14 years 13 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
ICFEM
2007
Springer
14 years 3 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
ICAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. We propose steering behavior model to simulate virtual characters (NPC) which walk around in virtual exhibition environment and see exhibits one by one just like humans d...
FMSB
2008
13 years 10 months ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...