9067 search results - page 834 / 1814 » Adaptive Model Checking |
223
click to vote
TOG
2002
15 years 7 months ago
2002
We present a system that lets a designer directly annotate a 3D model with strokes, imparting a personal aesthetic to the non-photorealistic rendering of the object. The artist ch...
218
click to vote
BALT
2010
15 years 2 months ago
2010
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...
157
click to vote
ICALT
2009
IEEE
16 years 2 months ago
2009
IEEE
Competency based learning is seen as a means to make the educational system more adapt to cater for , the learners’ professional development and the need to increase their futur...
212
click to vote
ICWE
2009
Springer
16 years 2 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
212
click to vote
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
- This paper analyzes the energy efficiency of wireless sensor networks using different error control schemes. An analytical model is presented to evaluate the energy efficiency in...