2043 search results - page 246 / 409 » Reasoning About Security Models |
143
click to vote
LOBJET
2008
15 years 5 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
158
click to vote
ENTCS
2002
15 years 5 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...
174
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
155
click to vote
MICCAI
2004
Springer
16 years 6 months ago
2004
Springer
This paper describes a method for estimating a human spine posture from human images using a human spine model to compute the rough approximation of the physical forces working on ...