1703 search results - page 248 / 341 » Model interoperability via Model Driven Development |
181
click to vote
ISCAPDCS
2008
15 years 6 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
120
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
156
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
New product development (NPD) projects require efficient strategies for reducing time to market and responding faster and better to the customer needs. While these strategies were...
149
click to vote
ICAC
2006
IEEE
15 years 11 months ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
139
Voted
ICCV
1998
IEEE
15 years 9 months ago
1998
IEEE
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...