933 search results - page 21 / 187 » Extending Forward Checking |
APSCC
2010
IEEE
13 years 6 months ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
AGP
1999
IEEE
14 years 23 days ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
DAGSTUHL
2004
13 years 9 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...