10159 search results - page 176 / 2032 » System Design Validation Using Formal Models |
119
click to vote
AAMAS
2005
Springer
15 years 2 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
157
click to vote
CMOT
2011
14 years 6 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
133
Voted
SAC
2002
ACM
15 years 2 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
104
click to vote
ENTCS
2007
15 years 2 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
110
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...