714 search results - page 98 / 143 » Verification and Compliance Testing |
EXPCS
2007
14 years 17 days ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
ITNG
2010
IEEE
14 years 1 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
PPSN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...