Sciweavers

1718 search results - page 98 / 344
» Modeling and testing of cloud applications
Sort
View
ICRA
2007
IEEE
156views Robotics» more  ICRA 2007»
16 years 1 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...
194
Voted
ISBI
2007
IEEE
16 years 1 months ago
A Novel Tag Removal Technique for Tagged Cardiac Mri and Its Applications
In this paper we present a novel tag removal method for tagged cardiac MR images. This method is based on a 2D bandstop filtering technique, which selectively attenuates the tag ...
Zhen Qian, Rui Huang, Dimitris N. Metaxas, Leon Ax...
CSFW
2010
IEEE
15 years 10 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
190
Voted
CCE
2004
15 years 6 months ago
Dynamic programming in a heuristically confined state space: a stochastic resource-constrained project scheduling application
The Resource-Constrained Project Scheduling Problem(RCPSP) is a significant challenge in highly regulated industries, such as pharmaceuticals and agrochemicals, where a large numb...
Jaein Choi, Matthew J. Realff, Jay H. Lee
ALGORITHMICA
2002
97views more  ALGORITHMICA 2002»
15 years 6 months ago
Testing and Spot-Checking of Data Streams
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
Joan Feigenbaum, Sampath Kannan, Martin Strauss, M...