5810 search results - page 358 / 1162 » An Approach to Programming Based on Concepts |
181
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
171
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...
165
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
163
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...
179
click to vote
ISMIR
2004
Springer
16 years 20 hour ago
2004
Springer
Manifold approaches exist for organization of music by genre and/or style. In this paper we propose the use of text categorization techniques to classify artists present on the In...