Sciweavers

1767 search results - page 274 / 354
» An Integrated Model for Cellular Analysis
Sort
View
130
Voted
ASWEC
2006
IEEE
15 years 9 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...
146
Voted
ADBIS
2006
Springer
131views Database» more  ADBIS 2006»
15 years 9 months ago
Anatomy of a Data Stream Management System
Abstract. In this paper, we identify issues and present solutions developed – both theoretical and experimental – during the course of developing a data stream management syste...
Qingchun Jiang, Sharma Chakravarthy
150
Voted
DAC
2003
ACM
15 years 9 months ago
Realizable RLCK circuit crunching
Reduction of an extracted netlist is an important pre-processing step for techniques such as model order reduction in the design and analysis of VLSI circuits. This paper describe...
Chirayu S. Amin, Masud H. Chowdhury, Yehea I. Isma...
133
Voted
UML
2001
Springer
15 years 8 months ago
UML Support for Designing Software Systems as a Composition of Design Patterns
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
Sherif M. Yacoub, Hany H. Ammar
118
Voted
WSC
1997
15 years 5 months ago
A Framework for Incorporating Dynamic Strategies in Earth-Moving Simulations
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
Govindan Kannan, Julio C. Martínez, Michael...