2317 search results - page 98 / 464 » Model based testing for agent systems |
107
click to vote
AAAI
1996
15 years 4 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
130
Voted
NOMS
2000
IEEE
15 years 7 months ago
2000
IEEE
Recently mobile agent technology has been recognised as a potential tool for realising distributed network fault management. The autonomy and mobility of such agents can help ensu...
121
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
122
Voted
WSCG
2004
15 years 4 months ago
2004
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
122
Voted
PTS
2003
15 years 4 months ago
2003
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...