3911 search results - page 136 / 783 » Using Operational Architecture to Model Embedded Software |
149
click to vote
ICCAD
2010
IEEE
15 years 3 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
152
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
134
click to vote
WSC
2008
15 years 7 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
129
Voted
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
135
click to vote
SOSP
2001
ACM
16 years 1 months ago
2001
ACM
Recent efforts to add new services to the Internet have increased interest in software-based routers that are easy to extend and evolve. This paper describes our experiences using...