2968 search results - page 277 / 594 » Network Programming Using PLAN |
130
Voted
ENTCS
2007
15 years 3 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
156
Voted
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
142
Voted
JNW
2006
15 years 3 months ago
2006
With the standardization of IEEE 802.11, there has been an explosive growth of wireless local area networks (WLAN). Recently, this cost effective technology is being developed aggr...
108
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
121
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...