2317 search results - page 196 / 464 » Model based testing for agent systems |
143
click to vote
JCS
2008
15 years 3 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
115
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
140
click to vote
JNSM
2000
15 years 3 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...
143
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
100
click to vote
AAAI
2008
15 years 6 months ago
2008
Machine learning approaches to indoor WiFi localization involve an offline phase and an online phase. In the offline phase, data are collected from an environment to build a local...