2470 search results - page 83 / 494 » Liveness-Preserving Simulation Relations |
91
Voted
ACII
2007
Springer
15 years 6 months ago
2007
Springer
We analyze the antecedents of affective states in a simulation problem-solving environment, The Incredible Machine: Even More Contraptions, through quantitative field observations ...
114
Voted
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper explores how the dynamics of complex biological processes can be modelled and simulated as an organisation of multiple agents. This modelling perspective identifies org...
97
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
- There is a strong need to improve the tools clinicians use for training in procedures such as prostate brachytherapy where the success rate is directly related to the clinicianâ€...
107
click to vote
DSD
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
92
Voted
WADT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...