162 search results - page 22 / 33 » A note on an extension of PDL |
FC
2001
Springer
15 years 4 months ago
2001
Springer
The technological challenges of securing networks are great, as recently witnessed in widespread denial of service and virus attacks. The human reaction to these attacks may be ei...
APCHI
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper outlines an awareness application called Tickertape. Tickertape is a tool that displays event notifications in the form of scrolling messages across a single-line windo...
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
112
click to vote
CONEXT
2007
ACM
15 years 3 months ago
2007
ACM
The recent work on COPE by Katti et al. demonstrates a practical application of network coding to wireless multihop networks. We note, however, that the opportunistic nature of CO...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...