2836 search results - page 170 / 568 » Model Checking for Software Architectures |
158
click to vote
APSEC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
184
click to vote
IWPC
1998
IEEE
15 years 10 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
159
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-onChip (SOC) and automatic generation of a retargetable compiler/simulato...
186
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
187
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...