2162 search results - page 231 / 433 » A Meta-Notation for Protocol Analysis |
193
click to vote
FIW
2003
15 years 8 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
154
click to vote
USENIX
2000
15 years 8 months ago
2000
This paper presents Pandora, a network monitoring platform that captures packets using purely passive techniques. Pandora addresses current needs for improving Internet middleware...
218
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
166
click to vote
FLAIRS
2010
15 years 7 months ago
2010
This paper discusses novel research conducted to study the direct impact of learner's affective changes on the value of a well established EEG-mental engagement index. An acq...
176
click to vote
COMPSYSTECH
2010
15 years 6 months ago
2010
: Based on the study of different coordination theories and approaches and on the previous ethnographic case studies, authors identify certain types of coordination, which they int...