Learn More
This technical report is a product of the National Aeronautics and Space Administration (NASA) Software Program, an agency wide program to promote continual improvement of software engineering within NASA. The goals and strategies of this program are documented in the NASA software strategic plan, July 13, 1995. Additional information is available from the(More)
The project's initial case studies investigated three frequently cited examples of the Internet's influence on democracy. The first case looked at the user-generated news site OhmyNews and its impact on the 2002 elections in South Korea. The second documented the role of technology in Ukraine's Orange Revolution. The third analyzed the network composition(More)
OBJECT In this retrospective study the authors examined the aspect ratio (AR; the maximum dimension of the dome/width of the neck of an aneurysm) and compared the distribution of this ratio in a group of ruptured and unruptured aneurysms. A similar comparison was performed in relation to the maximum dimension of the aneurysm alone. The authors sought to(More)
This paper describes three cases studies in the lightweight application of formal methods to requirements modelling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving(More)
To determine the comparative efficacy of tap water iontophoresis to iontophoresis with the anticholinergic glycopyrrolate, we undertook a single-blinded right-left comparison study in 20 patients with palmoplantar hyperhidrosis. Most patients had their palms treated and one patient had the soles treated. We compared the duration of symptom relief following(More)