3972 search results - page 556 / 795 » Design of the iSCSI Protocol |
168
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
188
click to vote
EEE
2005
IEEE
16 years 7 days ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
240
click to vote
FPT
2005
IEEE
16 years 7 days ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
175
click to vote
ICMB
2005
IEEE
16 years 7 days ago
2005
IEEE
SIP appears to be a powerful and useful signaling protocol supporting mobility for wireless IP networks but it has inherent weaknesses and dangers. This paper is a study on the se...
156
click to vote
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently under standardization by the IETF RSerPool WG. While the basic ide...