4341 search results - page 309 / 869 » Quantitative Model checking |
189
click to vote
MATES
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
158
click to vote
ICAT
2003
IEEE
16 years 2 hour ago
2003
IEEE
This study presents a haptic simulator for learning palpation of aorta in cardiovascular surgery and performs quantitative evaluation in educational use through some user study. T...
147
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common ...
145
Voted
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
170
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...