2317 search results - page 52 / 464 » Model based testing for agent systems |
125
click to vote
FATES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
148
click to vote
ENTCS
2007
15 years 2 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
135
click to vote
JECR
2000
15 years 2 months ago
2000
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
143
click to vote
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
92
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...