2317 search results - page 99 / 464 » Model based testing for agent systems |
165
Voted
ISDA
2010
IEEE
15 years 1 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
119
Voted
ENTCS
2006
15 years 3 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
109
Voted
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
130
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
136
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...