We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
The upcoming ACM SIGCHI Development Consortium is aimed at meeting the needs of multidisciplinary professionals that must choose among a variety of professional associations and t...
Dennis F. Galletta, Fiona Fui-Hoon Nah, Ping Zhang...
Channel allocation was extensively investigated in the framework of cellular networks, but it was rarely studied in the wireless ad-hoc networks, especially in the multi-hop ad-ho...
In addition to the actual content Web pages consist of navigational elements, templates, and advertisements. This boilerplate text typically is not related to the main content, ma...