Sciweavers

3954 search results - page 409 / 791
» Image-based Model Completion
Sort
View
159
Voted
AGILEDC
2006
IEEE
15 years 11 months ago
On Agile Performance Requirements Specification and Testing
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
Chih-Wei Ho, Michael J. Johnson, Laurie Williams, ...
ASWEC
2006
IEEE
15 years 11 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...
CCECE
2006
IEEE
15 years 11 months ago
Linear Predictive Control of a Brachiation Robot
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...
Vinicius Menezes de Oliveira, Walter Fetter Lages
CSB
2005
IEEE
126views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Discover True Association Rates in Multi-protein Complex Proteomics Data Sets
Experimental processes to collect and process proteomics data are increasingly complex, while the computational methods to assess the quality and significance of these data remain...
Changyu Shen, Lang Li, Jake Yue Chen
RTAS
2005
IEEE
15 years 10 months ago
A Real-Time Performance Comparison of Distributable Threads and Event Channels
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
Yuanfang Zhang, Bryan Thrall, Stephen Torri, Chris...