Sciweavers

1886 search results - page 259 / 378
» Verifying and Validating Simulation Models
Sort
View
VTC
2006
IEEE
15 years 4 months ago
Performance Comparison of OFDM-TDMA and OFDMA with Cross-Layer Consideration
— Performance comparison of multiuser OFDM-TDMA and OFDMA systems by considering physical and link cross-layer behavior is conducted in this work. We provide a new framework for ...
Yu-Jung Chang, Feng-Tsun Chien, C. C. Jay Kuo
IPCCC
2005
IEEE
15 years 3 months ago
Performance evaluations for hybrid IEEE 802.11b and 802.11g wireless networks
The IEEE 802.11g standard has been proposed to enhance the data rate of wireless LAN connections up to 54Mbps, while ensuring backward compatibility with legacy 802.11b devices at...
Shao-Cheng Wang, Y.-M. Chen, Tsern-Huei Lee, Ahmed...
IH
2004
Springer
15 years 3 months ago
Information Hiding in Finite State Machine
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
Lin Yuan, Gang Qu
FTCS
1998
114views more  FTCS 1998»
14 years 11 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
CN
2008
97views more  CN 2008»
14 years 10 months ago
Towards real-time dynamic spectrum auctions
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...
Sorabh Gandhi, Chiranjeeb Buragohain, Lili Cao, Ha...