2317 search results - page 184 / 464 » Model based testing for agent systems |
130
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
163
Voted
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
158
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
148
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
117
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...