Sciweavers

1655 search results - page 264 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
IEEESP
2006
108views more  IEEESP 2006»
15 years 6 months ago
Defining Misuse within the Development Process
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
Gunnar Peterson, John Steven
IJCNN
2006
IEEE
16 years 4 days ago
Using Neural Network to Enhance Assimilating Sea Surface Height Data into an Ocean Model
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
Vladimir M. Krasnopolsky, Carlos J. Lozano, Deanna...
ICCAD
2003
IEEE
141views Hardware» more  ICCAD 2003»
16 years 3 months ago
Passive Synthesis of Compact Frequency-Dependent Interconnect Models via Quadrature Spectral Rules
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...
Traianos Yioultsis, Anne Woo, Andreas C. Cangellar...
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
15 years 9 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
PIMRC
2008
IEEE
16 years 15 days ago
The Wireless Engset Multi-Rate Loss Model for the Handoff traffic analysis in W-CDMA networks
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...
Vassilios G. Vassilakis, Michael D. Logothetis