Sciweavers

29143 search results - page 426 / 5829
» A Sortation System Model
Sort
View
153
Voted
APSEC
2007
IEEE
16 years 1 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
ICC
2007
IEEE
16 years 1 months ago
On the Impact of Ignoring Markovian Channel Memory on the Analysis of Wireless Systems
– Recent wireless measurement studies have revealed the presence of high-order memory in wireless bit-error channels. However, most wireless studies continue to employ the memory...
Syed A. Khayam, Hayder Radha
ICC
2007
IEEE
229views Communications» more  ICC 2007»
16 years 1 months ago
Impact of Spatial Fading Correlation and Keyholes on the Capacity of MIMO Systems with Transmitter and Receiver CSI
Abstract—This paper investigates the impact of fading correlation and channel degeneracy alias keyhole condition on the capacity of multiple-input multiple-output (MIMO) spatial ...
Amine Maaref, Sonia Aïssa
IPPS
2007
IEEE
16 years 1 months ago
Domain Decomposition vs. Master-Slave in Apparently Homogeneous Systems
This paper investigates the utilization of the master-slave (MS) paradigm as an alternative to domain decomposition (DD) methods for parallelizing lattice gauge theory (LGT) model...
Cyril Banino-Rokkones
QSIC
2007
IEEE
16 years 1 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...