2670 search results - page 171 / 534 » Modeling systems with internal state using evolino |
197
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
167
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The importance of nutritional guidance grows as nutritional problems, such as obesity and type-2 diabetes, are becoming more common. Nutritional guidance is carried out by mapping ...
173
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
172
click to vote
ICON
2007
IEEE
16 years 25 days ago
2007
IEEE
- In this paper we analyze the performance, utilization, and power estimation of server systems by both adopting the batch service and adjusting the batch size. In addition to redu...
202
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...