9067 search results - page 457 / 1814 » Adaptive Model Checking |
172
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
213
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
160
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
172
click to vote
TNN
2008
15 years 6 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
181
click to vote
TIP
1998
15 years 6 months ago
1998
Abstract—This paper presents an adaptive algorithm for preprocessing document images prior to binarization in character recognition problems. Our method is similar in its approac...