Sciweavers

404 search results - page 26 / 81
» Analysis methods to support design for damping
Sort
View
WSC
1996
15 years 1 months ago
Enterprise Modeling within an Enterprise Engineering Framework
of abstraction, or modeling, is a major element in Enterprise Engineering. Enterprise engineering deals with the analysis, design, implementation and operation of an enterprise. T...
Donald H. Liles, Adrien Presley
WSC
2007
15 years 2 months ago
An exploration-based taxonomy for emergent behavior analysis in simulations
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
Ross Gore, Paul F. Reynolds Jr.
ICCAD
2004
IEEE
100views Hardware» more  ICCAD 2004»
15 years 8 months ago
A chip-level electrostatic discharge simulation strategy
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...
Haifeng Qian, Joseph N. Kozhaya, Sani R. Nassif, S...
COMPSAC
2002
IEEE
15 years 4 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 5 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...