Sciweavers

5075 search results - page 870 / 1015
» Model-based interface development
Sort
View
103
Voted
ESE
2006
95views Database» more  ESE 2006»
15 years 2 months ago
Input validation analysis and testing
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
Jane Huffman Hayes, Jeff Offutt
COMJ
2007
91views more  COMJ 2007»
15 years 2 months ago
A Camera-Based Music-Making Tool for Physical Rehabilitation
The therapeutic effects of playing music are being recognized increasingly in the field of rehabilitation medicine. People with physical disabilities, however, often do not have ...
Mikhail Gorman, Amir Lahav, Elliot Saltzman, Margr...
114
Voted
JCC
2008
132views more  JCC 2008»
15 years 2 months ago
The implementation of a fast and accurate QM/MM potential method in Amber
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
Ross C. Walker, Michael F. Crowley, David A. Case
106
Voted
JCC
2008
84views more  JCC 2008»
15 years 2 months ago
Explicit ion, implicit water solvation for molecular dynamics of nucleic acids and highly charged molecules
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
Ninad V. Prabhu, Manoranjan Panda, Qingyi Yang, Ki...
108
Voted
JSW
2008
167views more  JSW 2008»
15 years 2 months ago
An Approach to Discover Dependencies between Service Operations
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...
Shuying Yan, Jing Wang 0002, Chen Liu, Lei Liu