1518 search results - page 56 / 304 » Cryptographic Test Correction |
FECS
2006
14 years 11 days ago
2006
: It is a challenging task to evaluate English-Chinese Translating abilities of non-English majors on-line because it involves not only the processing of the source language--Engli...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
OPODIS
2008
14 years 12 days ago
2008
The scheduling of sporadic task systems upon uniform multiprocessor platforms using global Deadline Monotonic algorithm is studied. A sufficient schedulability test is presented a...
ICTAC
2009
Springer
13 years 8 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
MBEES
2010
13 years 9 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...