746 search results - page 57 / 150 » The NASA standard for models and simulations |
175
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
: In this paper, simulation-based performance evaluation of the Wireless Application Protocol (WAP) Transport Lay er Protocol, which may be suitable for Combat Net Radio (CNR), is ...
162
click to vote
CNSR
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, a modeling and simulation framework is proposed for generating data for training and testing intrusion detection systems. The framework can develop models of web us...
149
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
136
click to vote
ASIACRYPT
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
170
click to vote
LCN
2005
IEEE
15 years 11 months ago
2005
IEEE
— An analytical model is proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA provides class-b...