9405 search results - page 1206 / 1881 » Computing a Model of Set Theory |
198
Voted
EMSOFT
2005
Springer
16 years 24 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
165
click to vote
EUROPAR
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
208
Voted
CGI
2003
IEEE
16 years 17 days ago
2003
IEEE
High quality, virtual 3D models are quickly emerging as a new multimedia data type with applications in such diverse areas as e-commerce, online encyclopaedias, or virtual museums...
217
click to vote
DSVIS
2003
Springer
16 years 14 days ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
198
click to vote
WSC
2007
15 years 9 months ago
2007
Computer simulation is effective in improving the efficiency of manufacturing system design, operation, and maintenance. Most simulation models are usually tailored to address a n...