2836 search results - page 170 / 568 » Model Checking for Software Architectures |
128
click to vote
APSEC
2006
IEEE
15 years 10 months 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...
150
click to vote
IWPC
1998
IEEE
15 years 8 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...
125
click to vote
DATE
1999
IEEE
15 years 8 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...
152
Voted
MIDDLEWARE
2004
Springer
15 years 9 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...
147
click to vote
RTAS
2009
IEEE
15 years 10 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...