2270 search results - page 310 / 454 » Modelling Secure IT Systems - A Survey |
AGENTS
1999
Springer
15 years 8 months ago
1999
Springer
Intelligent environmentsareaninterestingdevelopmentandresearchapplication problem for multi-agent systems.The functionalandspatialdistribution of tasksnaturally lendsitself to a m...
110
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...
118
click to vote
ISSE
2010
15 years 2 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
141
click to vote
ITSL
2008
15 years 5 months ago
2008
In this paper we present a randomized complexity theoretic model for those epidemics propagated via short-distance close contact. We prove that the contact-based epidemics problems...
136
click to vote
WOSP
2004
ACM
15 years 10 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...