Sciweavers

2570 search results - page 420 / 514
» Reliability Modeling Using UML
Sort
View
ICSE
2003
IEEE-ACM
16 years 2 months ago
DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
Eric Wohlstadter, Stoney Jackson, Premkumar T. Dev...
97
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
130
Voted
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 9 months ago
Longitudinal Analysis of the Effects of IT Characteristics on Web Site Ratings Across State Governments in the US (2001-2006)
Given the increasing investment on information technology (IT) and Web site features, it becomes crucial to measure reliably the impact of these characteristics on the overall qua...
Gabriel Puron Cid, José Ramón Gil-Ga...
MIRAGE
2009
Springer
15 years 9 months ago
Flash Lighting Space Sampling
Flash light of digital cameras is a very useful way to picture scenes with low quality illumination. Nevertheless, especially low-end cameras integrated flash lights are considere...
Matteo Dellepiane, Marco Callieri, Massimiliano Co...
ICRA
2007
IEEE
156views Robotics» more  ICRA 2007»
15 years 8 months ago
Development and Application of a New Steady-Hand Manipulator for Retinal Surgery
— This paper describes the development and initial testing of a new and optimized version of a steady-hand manipulator for retinal microsurgery. In the steady-hand paradigm, the ...
Ben Mitchell, John Koo, Iulian Iordachita, Peter K...