1425 search results - page 209 / 285 » Providing quality of service monitoring: challenges and appr... |
100
click to vote
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—In network intrusion detection research, one popular strategy for finding attacks is monitoring a network’s activity for anomalies: deviations from profiles of norma...
MMS
2006
14 years 12 months ago
2006
Most multimedia surveillance and monitoring systems nowadays utilize multiple types of sensors to detect events of interest as and when they occur in the environment. However, due...
136
click to vote
LCN
1999
IEEE
15 years 4 months ago
1999
IEEE
In a wireless environment, due to topology changes and characteristics of media (interference in radio signals) the bandwidth of a link is unpredictable and possibly very low, the...