2317 search results - page 155 / 464 » Model based testing for agent systems |
123
Voted
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
119
Voted
JUCS
2010
15 years 2 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
150
Voted
TAP
2010
Springer
15 years 1 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
155
Voted
ESAW
2007
Springer
15 years 9 months ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
125
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...