2043 search results - page 8 / 409 » Reasoning About Security Models |
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
123
click to vote
COREGRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
125
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
115
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
123
click to vote
ARTMED
2006
15 years 3 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...