2038 search results - page 370 / 408 » Probabilistic Agent Programs |
AIMSA
2000
Springer
15 years 4 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
HICSS
1998
IEEE
15 years 4 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
102
click to vote
ITS
1992
Springer
15 years 3 months ago
1992
Springer
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...
100
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...