1887 search results - page 278 / 378 » Annotation Framework Validation Using Domain Models |
143
Voted
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
121
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
115
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
115
Voted
ALGORITHMICA
2004
15 years 2 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
111
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...