2317 search results - page 107 / 464 » Model based testing for agent systems |
116
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
123
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We are developing a decentralized approach to trust based on referral systems, where agents adaptively give referrals to one another to find other trustworthy agents. In...
133
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. With the increasing globalization of economy and consequent increasing in the inter and intra organizational competitiveness, the role of groups in organizations and busi...
126
Voted
AAAI
2006
15 years 4 months ago
2006
Modeling complex architectures is quite challenging. We introduce a novel intelligent system, which can generate semi-style or semi-structure Chinese ancient architectures automat...
112
click to vote
HOLOMAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...