4890 search results - page 402 / 978 » From system specifications to component behavioral models |
180
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
167
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
177
click to vote
ICMCS
2005
IEEE
16 years 19 days ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
182
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
180
click to vote
CLEIEJ
2007
15 years 7 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...