3911 search results - page 113 / 783 » Using Operational Architecture to Model Embedded Software |
141
Voted
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 11 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
162
Voted
HPDC
2002
IEEE
15 years 10 months ago
2002
IEEE
Grid applications must increasingly self-adapt dynamically to changing environments. In most cases, adaptation has been implemented in an ad hoc fashion, on a perapplication basis...
185
click to vote
ESSOS
2011
Springer
14 years 8 months ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...
167
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
136
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...