2661 search results - page 279 / 533 » Model Checking Performability Properties |
101
Voted
IEEESCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Good IT decision making is a highly desirable property that can be furthered by the use of enterprise architecture, an approach to IT management using diagrammatic models. In orde...
102
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
91
Voted
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- Complexity modeling of spatial-temporal compensations in H.264/AVC decoding is performed by examining a rich set of inter- and intra-prediction modes. Specifically, we s...
98
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
Lidar waveforms are 1D signal consisting of a train of echoes where each of them correspond to a scattering target of the Earth surface. Modeling these echoes with the appropriate...