237 search results - page 20 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
QOSIP
2005
Springer
14 years 6 days ago
2005
Springer
In this paper, we present a novel approach to the congestion control and resource allocation problem of elastic and real-time traffic in telecommunication networks. With the concep...
NCA
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Resource management is a key challenge that service providers must adequately face in order to ensure their profitability. This paper describes a proof-of-concept frame...
ICST
2009
IEEE
14 years 1 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
CGO
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Online optimization allows the continuous restructuring and adaptation of an executing application using live information about its execution environment. The further ad...
SEW
2003
IEEE
14 years 8 hour ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...