152 search results - page 15 / 31 » Formal Analysis of Passive Measurement Inference Techniques |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
KES
2004
Springer
14 years 1 months ago
2004
Springer
Measurement of the evolution properties of solar flares through their complete cyclic development is crucial in the studies of Solar Physics. From analysis of solar Hα images, we...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
MMMACNS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...