5189 search results - page 768 / 1038 » Modeling architectural patterns using architectural primitiv... |
191
click to vote
SPIN
2005
Springer
16 years 21 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
179
click to vote
ATS
2003
IEEE
16 years 15 days ago
2003
IEEE
Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in function...
206
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we present the development of an illustrative example of e-business based on two different applications of a Model-Driven Architecture (MDA) approach. In the first ...
183
click to vote
WSC
2007
15 years 9 months ago
2007
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
237
click to vote
KBSE
2003
IEEE
16 years 14 days ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...