12745 search results - page 2423 / 2549 » Automating test automation |
208
click to vote
FLOPS
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
192
click to vote
GECCO
2004
Springer
16 years 9 days ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
208
click to vote
ICLP
2004
Springer
16 years 9 days ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
232
click to vote
ICLP
2004
Springer
16 years 9 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
163
click to vote
ICSR
2004
Springer
16 years 9 days ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...