3729 search results - page 164 / 746 » On Formal Modeling of Agent Computations |
178
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
This paper examines the emergence of retail clusters on a supply chain network comprised of suppliers, retailers, and consumers. An agent-based model is proposed to investigate ret...
171
click to vote
UAIS
2002
15 years 6 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
187
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
192
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
144
click to vote
PPAM
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...