5227 search results - page 245 / 1046 » Enterprise modeling using class and instance models |
143
click to vote
EEF
2000
15 years 9 months ago
2000
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...
159
click to vote
PAMI
2007
15 years 5 months ago
2007
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
150
click to vote
CCGRID
2001
IEEE
15 years 9 months ago
2001
IEEE
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...
109
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
In object technology, reusability is achieved primarily through class inheritance. In model engineering, where reusability is also important, it should be possible to extend a mode...
141
Voted
JAR
2008
15 years 5 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...