12981 search results - page 494 / 2597 » Model Checking (Abstract) |
127
click to vote
CGI
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
125
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Reference process models capture common practices in a given domain and variations thereof. Such models are intended to be configured in a specific setting, leading to in...
146
click to vote
WSC
1997
15 years 6 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
129
Voted
SMC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—In our previous paper, we proposed a new classification technique called the Frequency Ratio Accumulation Method (FRAM). This is a simple technique that adds up the rat...
161
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...