5475 search results - page 328 / 1095 » Model Driven Security |
161
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— The customization of architectures in designing the security processor-based systems typically involves timeconsuming simulation and sophisticated analysis in the exploration o...
142
click to vote
WSC
2004
15 years 8 months ago
2004
As part of the new security environment at the nation's airports, discrete event simulation modeling was applied shortly after 9-11 to understand the operational dynamics of ...
201
click to vote
ACSW
2007
15 years 8 months ago
2007
A semantically driven Virtual Organisation (VO) model for predicting important events for coral reefs is presented – the Semantic Reef. The model is an application of a Semantic...
141
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
181
click to vote
SEFM
2007
IEEE
16 years 29 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...