5570 search results - page 183 / 1114 » Applications of Fair Testing |
127
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
157
click to vote
FLAIRS
2008
15 years 6 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
92
Voted
IPM
2002
15 years 3 months ago
2002
10 There have been recent applications of genetic algorithms to information retrieval, mostly with respect to 11 relevance feedback. Nevertheless, they are yet to be evaluated in ...
128
click to vote
EGICE
2006
15 years 7 months ago
2006
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of...
118
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...