5353 search results - page 255 / 1071 » Modelling Contexts in the Or-BAC Model |
147
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper will review Encyclopaedia Britannica and Microsoft Encarta, highlighting elements of audience appeal, educational value and potential for learning. Currently, encyclopa...
201
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
185
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—The main approaches to high speed measurement in routers are traffic sampling, and sketching. However, it is not known which paradigm is inherently better at extracting informa...
182
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...
204
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...