Sciweavers

2599 search results - page 451 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
ASWEC
2006
IEEE
15 years 6 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
99
Voted
ACMDIS
2006
ACM
15 years 6 months ago
The impact of pre-patterns on the design of digital home applications
Recent research suggests design pre-patterns, structured collections of evidence-based research and design knowledge, provide a useful resource for design activities in emerging a...
T. Scott Saponas, Madhu K. Prabaker, Gregory D. Ab...
ASSETS
2006
ACM
15 years 6 months ago
Dynamically adapting GUIs to diverse input devices
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
Scott Carter, Amy Hurst, Jennifer Mankoff, Jack Li
JCDL
2006
ACM
104views Education» more  JCDL 2006»
15 years 6 months ago
Template-based authoring of educational artifacts
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
Sarah Davis, Paul Logasa Bogen II, Lauren Cifuente...
91
Voted
CSB
2005
IEEE
166views Bioinformatics» more  CSB 2005»
15 years 6 months ago
Automated Validation of Polymerase Chain Reactions Using Amplicon Melting Curves
PCR, the polymerase chain reaction, is a fundamental tool of molecular biology. Quantitative PCR is the goldstandard methodology for determination of DNA copy numbers, quantitatin...
Tobias P. Mann, Richard Humbert, John A. Stamatoya...