Kong Eng Cheng

Learn More
BACKGROUND The purpose of this study was to review the survival and toxicity in patients with locoregionally advanced nasopharyngeal carcinoma (NPC) treated with intensity-modulated radiation therapy (IMRT) and concurrent nedaplatin plus paclitaxel or fluorouracil (NP or NF). METHODS A total of 155 patients with locoregionally advanced NPC seen at our(More)
Some of the major difficulties in developing practical tools using formal methods to analyze and manage feature interactions include: • the significant upfront investment that is required to develop and verify a formal model for the AIN architecture before any interaction analysis can be carried out • the time consuming process of formally specifying a(More)
Communications systems offer services and features to their subscribers. Features are often among the main selling points of such systems and they can be implemented and provided independently by specialized operators under request of users, or by users directly. Features can build on each other, but can also mutually interact in subtle and unexpected ways.(More)
This paper describes the derivation of test cases for communications protocols based on a formal specification technique. It presents a methodology for generating test cases from the CCITT (International Consultative Committee for Telephones and Telegraphs) Specification and Description Language (SDL). An algorithm is given for constructing a finite global(More)