2306 search results - page 311 / 462 » Modeling issues in a shipping system |
ARGMAS
2008
Springer
13 years 11 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper addresses the issue of emergence of robust cooperation among self-interested agents interacting in N-player social dilemma games. A series of graphs are created each ex...
AI
2006
Springer
13 years 11 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
APCCM
2007
13 years 10 months ago
2007
The importance of metadata has been broadly referred in the last years, mainly in the field of data warehousing and decision support systems. Contemporarily, in the adjacent field...