157 search results - page 23 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
IEEEARES
2007
IEEE
14 years 2 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
ISCA
2011
IEEE
13 years 8 days ago
2011
IEEE
In recent years, the increasing number of processor cores and limited increases in main memory bandwidth have led to the problem of the bandwidth wall, where memory bandwidth is b...
JMLR
2011
13 years 3 months ago
2011
This paper reviews a class of methods to perform causal inference in the framework of a structural vector autoregressive model. We consider three different settings. In the first ...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
JUCS
2010
13 years 3 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...