2687 search results - page 177 / 538 » Formal Analysis of PKCS |
133
click to vote
IANDC
2010
15 years 3 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
171
click to vote
ISAMI
2010
15 years 2 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
138
click to vote
JLP
2010
14 years 11 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
127
click to vote
ICASSP
2011
IEEE
2011
IEEE
Detecting oscillating singularities in multifractal analysis: Application to hydrodynamic turbulence
14 years 8 months ago
Multifractal analysis describes data as a collection of singularities. However, its classical formulation does not account for their possibly oscillating nature, while, in a numbe...
132
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...