Scalability issues with using FSMWeb to test web applications

Web applications are fast becoming more widespread, larger, more interactive, and more essential to the international use of computers. It is well understood that web applications must be highly dependable, and as a field we are just now beginning to understand how to model and test Web applications. One straightforward technique is to model Web applications as finite state machines. However, large numbers of input fields, input choices and the ability to enter values in any order combine to create a state space explosion problem. This paper evaluates a solution that uses constraints on the inputs to reduce the number of transitions, thus compressing the FSM. The paper presents an analysis of the potential savings of the compression technique and reports actual savings from two case studies.     

Study of Band Structure Properties of Pnictide LaO1−xF x FeAs (x = 0, 0.2) Superconducting Compound

This paper reports on the band structure properties and changes in band structure of fluorine-doped LaO_1?x F _x FeAs (x = 0, 0.2) compound, measured using X-ray photoemission spectroscopy (XPS). The band structure of the superconducting compound is compared with nonsuperconducting parent compound LaOFeAs. With fluorine doping, a shift of the shallow core level is observed in XPS spectra, which may be a response of the band structure due to fluorine doping in the system. The balance of the chemical potential shift with the screening effect of conduction electrons near the Fe and As ions is discussed using nearly unchanged Fe 2p and As 3d core-level spectra. The La 3d core-level spectra shift towards the high energy, ～0.36 eV, may be due to the chemical potential shift caused by fluorine doping. In our valence band spectra, a small peak at around 0.2 eV is observed, which disappeared with the fluorine doping in the system, indicating a change of Fe 3d state from low spin to high spin states and also confirming the nature of Fe 3d electrons as itinerant, which is responsible for superconductivity in these compounds.     

Clinical and radiographic evaluation of juvenile rheumatoid arthritis: report of a case

Rheumatoid arthritis (RA) is an inflammatory disease of the synovium which may lead to proliferative and degenerative changes in the body's joints, including the temporomandibular joint (TM Joint). Although the exact etiology of rheumatoid arthritis remains unknown, it is suspected that the disease is often initiated by an infectious organism, or by genetic and/or environmental factors. Juvenile rheumatoid arthritis (JRA) is a chronic disease of childhood with a spectrum of joint involvement and associated systemic and other organ involvement. Five percent of all rheumatoid arthritis patients are children. In the United States, approximately 150,000 children are affected by JRA. With upper limb involvement, routine oral hygiene procedures become difficult. Dental evaluations/screenings may not be included in the initial team assessment of these patients until the TM Joint is affected; however, prior to this time, the patient may have had years of poor oral hygiene which could contribute to severe decay and early tooth loss. This case report describes the oral health status of a child with polyarticular juvenile rheumatoid arthritis and the specific recommendations for dental management.     

Preliminary results on reflectance feedback control ofphotocoagulation in vivo

The size of therapeutic laser-induced retinal lesions is critical for effective treatment and minimal complications. Due to tissue variability, the size of a lesion that results from a given set of laser irradiation parameters cannot be predicted. Real time feedback control of lesion size is implemented based on two-dimensional reflectance images acquired during irradiation. Preliminary results of feedback controlled lesions formed in pigmented rabbits demonstrate an ability to produce uniform lesions despite variations in tissue absorption or changes in laser power