Sciweavers

1763 search results - page 139 / 353
» Agent Roles and Aspects
Sort
View
118
Voted
ATAL
2003
Springer
15 years 6 months ago
Process Algebra for Agent Communication: A General Semantic Approach
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
101
Voted
ATAL
2009
Springer
15 years 6 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
MA
2001
Springer
98views Communications» more  MA 2001»
15 years 6 months ago
On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection
Mobile agent security is still a young discipline and most naturally, the focus up to the time of writing was on inventing new cryptographic protocols for securing various aspects ...
Volker Roth
KBSE
2000
IEEE
15 years 6 months ago
Using Little-JIL to Coordinate Agents in Software Engineering
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
Alexander E. Wise, Aaron G. Cass, Barbara Staudt L...
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 5 months ago
Designing safe, profitable automated stock trading agents using evolutionary algorithms
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...
Harish Subramanian, Subramanian Ramamoorthy, Peter...