2398 search results - page 442 / 480 » On modelling agent systems with Erlang |
180
click to vote
RSP
2007
IEEE
16 years 11 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
173
click to vote
AOSE
2007
Springer
16 years 8 days ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
171
click to vote
CCGRID
2006
IEEE
16 years 5 days ago
2006
IEEE
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
145
Voted
LAWEB
2005
IEEE
15 years 11 months ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
137
Voted
ASIAN
2005
Springer
15 years 11 months ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...