To search, Click below search items.
All Published Papers Search Service
Title
Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author
Satoshi Yamane
Vol. 6 No. 1 pp. 192~203
Keywords
Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling
Dynamically Selecting Distribution Strategies for Web Documents According to Access Pattern
Wenyu Qu, Keqiu Li, Bo Jiang, Hong Shen, Di Wu
Vol. 6 No. 3 pp. 35-43
Web caching and replication, distribution strategy, cache replacement algorithm, simulation, trace data, autonomous system (AS)
Adaptive Call Admission Control for Prioritized Adaptive services in Wireless/Mobile multimedia Cellular Networks
M. Sanabani, S. Shamala, M. Othman, J. Desa
Vol. 6 No. 3 pp. 114-124
adaptive multimedia frameworks, quality of services, wireless/mobile cellular networks, call admission control, discrete-event simulation.
Using Empirical Knowledge for Adaptive Selection of Reduplicate Simulation Times in Simulation Optimization
Ying-Wu Chen, Li-Ning Xing, Xue-Shi Shen, Huai-Ping Cai
Vol. 6 No. 5 pp. 61-66
simulation optimization, orthogonal genetic algorithm, statistical test, computer simulation, optimization technology