Sciweavers

1900 search results - page 92 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 1 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
ICCS
2005
Springer
15 years 3 months ago
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Linxiang X. Wang, Roderick V. N. Melnik
ASWEC
2006
IEEE
15 years 1 months ago
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
Christine Choppy, Gianna Reggio
ICC
2009
IEEE
114views Communications» more  ICC 2009»
15 years 4 months ago
Markov Chain Minimum Bit Error Rate Detection for Multi-Functional MIMO Uplink
— In this paper, we introduce a novel Markov Chain (MC) representation aided Minimum Bit Error Rate (MBER) detection method that is applicable to an M-QAM modulated SDM/SDMA upli...
Shinya Sugiura, Sheng Chen, Lajos Hanzo
GLOBECOM
2009
IEEE
15 years 4 months ago
Channel Orthogonalizing Precoder for Open-Loop QO-STBC Systems
—This paper proposes a new preprocessing scheme for rate-one quasi-orthogonal space-time block code (QO-STBC), which requires no channel state information at the transmitter. We ...
Heejin Kim, Heunchul Lee, Inkyu Lee