9067 search results - page 269 / 1814 » Adaptive Model Checking |
130
Voted
CBSE
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...
180
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
131
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Hua et al. have proposed a stable and efficient tracking algorithm called “K-means tracker”[2, 3, 5]. This paper describes an adaptive non-target cluster center selection met...
166
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
The products of systems cannot always be judged at face value: the process by which they were obtained is also important. For instance, the rigour of a scientific experiment, the e...
193
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Workflows often operate in volatile environments in which the component services’ QoS changes frequently. Optimally adapting to these changes becomes an important problem that ...