Sciweavers

762 search results - page 28 / 153
» Modeling and Simulating Information Security Management
Sort
View
IEEEIAS
2007
IEEE
14 years 1 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
ENVSOFT
2010
79views more  ENVSOFT 2010»
13 years 5 months ago
Interactive modelling for natural resource management
We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
F. Boschetti, A. de La Tour, E. A. Fulton, L. R. L...
SIMULATION
1998
83views more  SIMULATION 1998»
13 years 7 months ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
IPAW
2010
13 years 4 months ago
Towards a Threat Model for Provenance in e-Science
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
Luiz M. R. Gadelha Jr., Marta Mattoso, Michael Wil...
WSC
2004
13 years 9 months ago
Design Specifications of a Generic Supply Chain Simulator
This paper describes a design specification for a generic, supply-chain-simulation system. The proposed simulation system is based on schedule-driven and stock-driven control meth...
Shigeki Umeda, Y. Tina Lee