2398 search results - page 244 / 480 » On modelling agent systems with Erlang |
214
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
210
click to vote
AOSE
2005
Springer
16 years 25 days ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
319
click to vote
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based...
170
click to vote
KESAMSTA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
209
click to vote
JPDC
2006
15 years 7 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...