2838 search results - page 68 / 568 » Verifying Controlled Components |
PDP
2008
IEEE
14 years 3 months ago
2008
IEEE
Autonomic management can be used to improve the QoS provided by parallel/distributed applications. We discuss behavioural skeletons introduced in earlier work: rather than relying...
CIE
2009
Springer
14 years 3 months ago
2009
Springer
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents a measure to verify the quality of automatically aligned phone labels. The measure is based on a similarity cost between automatically generated phonetic segme...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...
DEBS
2009
ACM
14 years 3 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...