714 search results - page 10 / 143 » Formal Verification of Cognitive Models |
156
click to vote
ECOWS
2006
Springer
15 years 9 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
164
click to vote
AINA
2004
IEEE
15 years 9 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
123
click to vote
CAV
1990
Springer
15 years 10 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
