1992 search results - page 289 / 399 » Model Based Testing with Labelled Transition Systems |
125
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
174
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
164
click to vote
EUROSYS
2008
ACM
16 years 11 days ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
106
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Display characteristics, network Quality of Service, and the user's current task all exhibit a wide range of variation when users interact with mobile and ubiquitous devices....
141
click to vote
KDD
2010
ACM
15 years 1 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...