Sciweavers

1466 search results - page 266 / 294
» Completeness of the Authentication Tests
Sort
View
IMR
2004
Springer
14 years 1 months ago
Finite Element Mesh Sizing for Surfaces Using Skeleton
The finite element (FE) mesh sizing has great influence on computational time, memory usage, and accuracy of FE analysis. Based on a systematic in-depth study of the geometric com...
William Roshan Quadros, Steven J. Owen, Michael L....
SPIN
2004
Springer
14 years 1 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
CSB
2003
IEEE
118views Bioinformatics» more  CSB 2003»
14 years 1 months ago
Automated Protein NMR Resonance Assignments
NMR resonance peak assignment is one of the key steps in solving an NMR protein structure. The assignment process links resonance peaks to individual residues of the target protei...
Xiang Wan, Dong Xu, Carolyn M. Slupsky, Guohui Lin
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
14 years 1 months ago
The Influence of the Meaning of Pictures and Words on Web Page Recognition Performance
Firms spend high sums trying to make their “home” page as memorable as possible to attract repeat visits. For this purpose, fancy pictures and words are used to catch the atte...
Enrique Mu, Dennis F. Galletta
METRICS
2003
IEEE
14 years 29 days ago
Using Prior-Phase Effort Records for Re-estimation During Software Projects
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
Stephen G. MacDonell, Martin J. Shepperd