1992 search results - page 150 / 399 » Model Based Testing with Labelled Transition Systems |
154
click to vote
EC
2008
15 years 3 months ago
2008
We investigated image retrieval using texture segmentation by genetic programming. In this study, we are interested with two textures: sky and grass textures. Single-step texture ...
115
Voted
PE
2007
Springer
15 years 3 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...
138
click to vote
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
108
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
125
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...