3579 search results - page 476 / 716 » Transformations of software models into performance models |
179
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
182
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
181
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
224
click to vote
PAMI
2012
13 years 9 months ago
2012
—We introduce an efficient maximum likelihood approach for one part of the color constancy problem: removing from an image the color cast caused by the spectral distribution of ...
168
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...