6800 search results - page 750 / 1360 » Testing with Functions as Specifications |
196
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Mobile devices are currently difficult to customize for the usability needs of elderly users. The elderly are instead referred to specially designed “senior phones” or softwar...
174
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Few research studies focus on how the use of assistive technologies is affected by social interaction among people. We present an interview study of 20 individuals to determine ho...
176
click to vote
NAR
2011
14 years 10 months ago
2011
RNA helicases are ubiquitous and essential enzymes that function in nearly all aspects of RNA metabolism. The RNA helicase database (www .rnahelicase.org) integrates the wealth of...
212
click to vote
BIOINFORMATICS
2012
13 years 9 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
215
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...