2859 search results - page 171 / 572 » A Programming Environment for Bousi-Prolog |
137
Voted
ICSM
2000
IEEE
15 years 9 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
137
click to vote
ATAL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
173
Voted
LCR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
140
Voted
RTAS
1995
IEEE
15 years 8 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
145
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...