129 search results - page 10 / 26 » Making trace monitors feasible |
ICFEM
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
JCIT
2010
14 years 5 months ago
2010
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...
101
click to vote
DSN
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper presents the design and implementation of a real-time behavior profiling system for high-speed Internet links. The profiling system uses flow-level information from con...
IMC
2007
ACM
14 years 12 months ago
2007
ACM
Entropy has recently gained considerable significance as an important metric for network measurement. Previous research has shown its utility in clustering traffic and detecting ...
BMCBI
2010
14 years 10 months ago
2010
Background: Stable isotope tracing with ultra-high resolution Fourier transform-ion cyclotron resonance-mass spectrometry (FT-ICR-MS) can provide simultaneous determination of hun...