35 search results - page 5 / 7 » hase 2007 |
HASE
2007
IEEE
14 years 3 days ago
2007
IEEE
We adapt the classic cusum change-point detection algorithm for applications to data network monitoring where various and numerous performance and reliability metrics are availabl...
HASE
2007
IEEE
14 years 3 days ago
2007
IEEE
In this paper we discuss the problem of network fairness. Traditional network fairness focuses on treating uneven resource (such as bandwidth) allocation in TCP congestion control...
HASE
2007
IEEE
13 years 9 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
HASE
2007
IEEE
14 years 3 days ago
2007
IEEE
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
HASE
2007
IEEE
14 years 3 days ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...