714 search results - page 10 / 143 » Formal Verification of Cognitive Models |
ECOWS
2006
Springer
14 years 3 days 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...
AINA
2004
IEEE
14 years 5 days 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...
CAV
1990
Springer
14 years 14 days ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
KDD
2009
ACM
14 years 3 months ago
2009
ACM
ICECCS
2009
IEEE
14 years 3 months ago
2009
IEEE
