1336 search results - page 23 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
130
click to vote
TSMC
2010
14 years 9 months ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
114
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In our previous work we have proposed a dynamic version of the consensus propagation (CP) algorithm introduced by Moallemi and Van Roy. Here, we pursue a system theoretic approach...
107
Voted
WOTUG
2007
15 years 4 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
126
click to vote
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
130
click to vote
ACTA
2002
15 years 3 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...