10870 search results - page 265 / 2174 » Model Checking Programs |
116
Voted
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
114
Voted
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
124
Voted
AINA
2004
IEEE
15 years 6 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...
111
Voted
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE