2398 search results - page 280 / 480 » On modelling agent systems with Erlang |
187
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
195
click to vote
HICSS
1998
IEEE
15 years 11 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...
182
click to vote
DSVIS
2005
Springer
16 years 23 days ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
210
click to vote
IJCAI
2001
15 years 8 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
194
click to vote
IADIS
2003
15 years 8 months ago
2003
With the consolidation of the Internet and other computer networks, the need of sophisticated systems to retrieve information increased enormously. In these networks, information ...