2317 search results - page 432 / 464 » Model based testing for agent systems |
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
103
click to vote
ASSETS
2005
ACM
15 years 1 months ago
2005
ACM
We designed and evaluated an agent that recommends a pointing device gain for a given user, with mixed success. 12 participants with physical impairments used the Input Device Age...
107
click to vote
AAAI
2010
15 years 1 months ago
2010
With the increasing popularity of location tracking services such as GPS, more and more mobile data are being accumulated. Based on such data, a potentially useful service is to m...
140
click to vote
TABLEAUX
2000
Springer
15 years 3 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
112
click to vote
AIMS
2008
Springer
15 years 1 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....