10899 search results - page 102 / 2180 » The GP Programming System |
EMSOFT
2006
Springer
14 years 19 days ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
SUM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
ICNS
2006
IEEE
14 years 3 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
KI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...