4350 search results - page 544 / 870 » Case studies for contract-based systems |
152
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
188
click to vote
EIT
2009
IEEE
16 years 1 months ago
2009
IEEE
—System-level design (SLD) provides a solution to the challenge of increasing design complexity and time-to-market pressure in modern embedded system designs. In this paper, we p...
187
Voted
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
176
Voted
QSHINE
2009
IEEE
16 years 1 months ago
2009
IEEE
The deployment of sensor networks is both widespread and varied with more niche applications based on these networks. In the case study provided in this work, the network is provid...
196
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— The proliferation of wireless and mobile devices has fostered the demand of context aware applications, in which location is often viewed as one of the most significant context...