2850 search results - page 70 / 570 » On Timed Models and Full Abstraction |
187
click to vote
KDD
2009
ACM
15 years 10 months ago
2009
ACM
We develop and evaluate an approach to causal modeling based on time series data, collectively referred to as“grouped graphical Granger modeling methods.” Graphical Granger mo...
163
click to vote
MOMPES
2008
IEEE
16 years 17 days ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
216
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
164
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
165
click to vote
FORTE
2007
15 years 7 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...