2859 search results - page 93 / 572 » A Programming Environment for Bousi-Prolog |
130
click to vote
CATS
2007
15 years 6 months ago
2007
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
117
click to vote
DEXAW
2008
IEEE
15 years 11 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
174
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
115
click to vote
SIGUCCS
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we describe the process we went through to redesign our training program in order to make it more targeted to the individual user, more responsive to a constantly c...
121
click to vote
HPDC
1996
IEEE
15 years 8 months ago
1996
IEEE
The performance of the Global Array shared-memory nonuniform memory-access programming model is explored on the I-WAY, wide-area-network distributed supercomputer environment. The...