2306 search results - page 311 / 462 » Modeling issues in a shipping system |
157
click to vote
ARGMAS
2008
Springer
15 years 7 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...
158
Voted
ATAL
2008
Springer
15 years 7 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...
150
click to vote
AI
2006
Springer
15 years 7 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...
161
Voted
FM
2008
Springer
15 years 7 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 ...
168
click to vote
APCCM
2007
15 years 7 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...