4513 search results - page 418 / 903 » Modeling with a Sense of Purpose |
160
click to vote
SIGADA
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
175
Voted
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
109
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Over the last several years, a new probabilistic representation for 3-d volumetric modeling has been developed. The main purpose of the model is to detect deviations from the norm...
185
Voted
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
180
click to vote
APCCM
2008
15 years 8 months ago
2008
There is an increasing community of researchers trying to draw attention to the importance of evaluation issues. Some approaches can be followed to evaluate the quality of softwar...