6941 search results - page 399 / 1389 » Testing as a Certification Approach |
162
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a unique approach to scheduling and allocation problem in high-level synthesis using genetic algorithm (GA). This approach is dierent from a previous attempt ...
153
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
The research in the field of service discovery in mobile ad-hoc networks is characterised by a lack of quantitative research. Many ideas have been put forward but few have been tes...
141
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper addresses the limitation of current multilinear PCA based techniques, in terms of prohibitive computational cost of testing and poor generalisation in some scenarios, w...
212
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
240
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
The detection and improvement of low-quality information is a key concern in Web applications that are based on user-generated content; a popular example is the online encyclopedi...