4330 search results - page 777 / 866 » Analyzing security architectures |
141
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
131
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In analyzing the point-to-point wireless channel, insights about two qualitatively different operating regimes-bandwidth- and power-limited--have proven indispensable in the design...
121
click to vote
COMCOM
2006
15 years 3 months ago
2006
This paper gives an overview of the issues related to the QoS mechanisms under IPv6 and the transition of applications to the new Internet protocol. We describe the implementation...
119
Voted
COMPUTER
2006
15 years 3 months ago
2006
: In software design, laziness is a virtue: it's better to reuse than to redo. Design patterns are a good illustration. Patterns, a major advance in software architecture, pro...
148
Voted
DPD
2006
15 years 3 months ago
2006
Contemporary long-term storage devices feature powerful embedded processors and sizeable memory buffers. Active Storage Devices (ASD) is the hard disk technology that makes use of ...