Sciweavers

2384 search results - page 358 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
WSC
2008
15 years 6 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
WSC
2000
15 years 5 months ago
Productivity modeling of semiconductor manufacturing equipment
Optimizing a semiconductor wafer fab requires balancing technology and productivity. Recent work on productivity modeling will be described and focus on discrete event simulation ...
Mark Pool, Robert Bachrach
DBSEC
2009
122views Database» more  DBSEC 2009»
15 years 5 months ago
An Approach to Security Policy Configuration Using Semantic Threat Graphs
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
Simon N. Foley, William M. Fitzgerald
GLOBECOM
2008
IEEE
15 years 4 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...
FUIN
2006
128views more  FUIN 2006»
15 years 4 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko