Sciweavers

3994 search results - page 593 / 799
» A Linear Logical Framework
Sort
View
ASWEC
2006
IEEE
16 years 1 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...
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
16 years 1 months ago
Temporal Implications of Information Technology for Work Practices: Organizing in and for Time in an Emergency Department
We investigate the temporal implications of information technology by examining its use in the work practices of physicians and nurses in an emergency department. We conceptualize...
Zixing Shen, Youngjin Yoo, Kalle Lyytinen
ANCS
2006
ACM
16 years 1 months ago
A practical fast parallel routing architecture for Clos networks
Clos networks are an important class of switching networks due to their modular structure and much lower cost compared with crossbars. For routing I/O permutations of Clos network...
Si-Qing Zheng, Ashwin Gumaste, Enyue Lu
ASAP
2005
IEEE
142views Hardware» more  ASAP 2005»
16 years 23 days ago
Decimal Floating-Point Square Root Using Newton-Raphson Iteration
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
Liang-Kai Wang, Michael J. Schulte
WONS
2005
IEEE
16 years 21 days ago
A Partition Prediction Algorithm for Service Replication in Mobile Ad Hoc Networks
Due to the mobility of nodes in Ad hoc networks, network topology is dynamic and unpredictable, which leads to frequent network partitioning. This partitioning disconnects many no...
Abdelouahid Derhab, Nadjib Badache, Abdelmadjid Bo...