647 search results - page 79 / 130 » Generic Trace Logics |
119
click to vote
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel near real-time method for early detection of worm outbreaks in high-speed Internet backbones. Our method attributes several behavioural properties to individual...
151
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
118
click to vote
IMC
2004
ACM
15 years 9 months ago
2004
ACM
Identifying elephant flows is very important in developing effective and efficient traffic engineering schemes. In addition, obtaining the statistics of these flows is also ver...
124
click to vote
PDP
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
159
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...