2979 search results - page 445 / 596 » Modelling secure multiagent systems |
130
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
135
Voted
TDSC
2010
14 years 10 months ago
2010
Automated, rapid, and effective fault management is a central goal of large operational IP networks. Today's networks suffer from a wide and volatile set of failure modes, wh...
136
Voted
EUSFLAT
2009
15 years 1 months ago
2009
The study of human behavior during driving is of primary importance for the improvement of drivers' security. This study is complex because of numerous situations in which the...
106
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
121
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Many groups are interested in the insider threat problem, but the model generally used by all of these groups is implicitly binary—one is either within a perimeter or not. There...