2687 search results - page 184 / 538 » Formal Analysis of PKCS |
142
click to vote
JUCS
2008
15 years 4 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
134
click to vote
JSYML
2002
15 years 4 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
146
click to vote
ISSE
2010
15 years 3 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
167
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
154
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...