4867 search results - page 270 / 974 » Fluid Models in Performance Analysis |
160
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
165
click to vote
IJISEC
2008
15 years 6 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
180
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
194
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Multihop and multipoint transmissions are two of the main features towards an increased spectral efficiency for the LTE-Advanced mobile radio system. Fixed wireless relays with in-...
236
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Like its linear counterpart, the Kernel Least Mean Square (KLMS) algorithm is also becoming popular in nonlinear adaptive filtering due to its simplicity and robustness. The “k...