2687 search results - page 120 / 538 » Formal Analysis of PKCS |
138
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
119
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
138
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Image classification often relies on texture characterization. Yet texture characterization has so far rarely been based on a true 2D multifractal analysis. Recently, a 2D wavelet...
126
click to vote
IMECS
2007
15 years 5 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
119
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...