2306 search results - page 46 / 462 » Modeling issues in a shipping system |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Situated Multi Agent System models are characterized by the representation and exploitation of spatial information related to agents, the environment they inhabit and their positi...
NOMS
2010
IEEE
13 years 7 months ago
2010
IEEE
Fairness is an important management issue for peer-to-peer file sharing systems. In this paper, we study the credit system of the P2P file sharing network eMule (http://www.emule-p...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
BMAS
2000
IEEE
14 years 15 days ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...