2859 search results - page 272 / 572 » A Programming Environment for Bousi-Prolog |
170
click to vote
ENTCS
1998
15 years 6 months ago
1998
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
131
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
181
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
160
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper investigates Grid computing from the point of view three basic computing platforms. The platform consists of virtual compute resources, a programming environment all...
176
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces an adaptive parallel pipeline pattern which follows the GRASP (Grid-Adaptive Structured Parallelism) methodology. GRASP is a generic methodology to incorpora...