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