228 search results - page 5 / 46 » A Cloze Test Authoring System and Its Automation |
CADE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
AICCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
Although E-learning has advanced considerably in the last decade, some of its aspects, such as E-testing, are still in the development phase. Authoring tools and test banks for E-...
IWSOS
2007
Springer
15 years 3 months ago
2007
Springer
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...
142
Voted
ECOWS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...