2935 search results - page 90 / 587 » An Integrated Approach to High Integrity Software Verificati... |
176
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
132
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the internet. The need for handling complex highly configurable produ...
134
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Reliability-aware software architecture development has recently been gaining growing attention among software architects. This paper tackles the issue by introducing an ontology-...
121
Voted
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...
118
click to vote
KIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...