Sciweavers

8492 search results - page 241 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
WSC
2001
15 years 6 months ago
Graphical methods for robust design of a semiconductor burn-in process
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
Scott L. Rosen, Chad A. Geist, Daniel A. Finke, Jy...
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 6 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
FSKD
2005
Springer
78views Fuzzy Logic» more  FSKD 2005»
15 years 10 months ago
Using Feedback Cycle for Developing an Adjustable Security Design Metric
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
Charlie Y. Shim, Jung Y. Kim, Sung Y. Shin, Jiman ...
ER
2009
Springer
130views Database» more  ER 2009»
15 years 11 months ago
Designing Law-Compliant Software Requirements
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
Alberto Siena, John Mylopoulos, Anna Perini, Angel...
ISORC
1999
IEEE
15 years 9 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik