2979 search results - page 193 / 596 » Modelling secure multiagent systems |
217
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
202
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
177
click to vote
IEEEARES
2006
IEEE
16 years 15 days ago
2006
IEEE
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
174
click to vote
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
166
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (S...