5101 search results - page 847 / 1021 » Capturing Context Requirements |
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Middleboxes are ubiquitous in today’s networks and perform a variety of important functions, including IDS, VPN, firewalling, and WAN optimization. These functions differ vastl...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
CADUI
2006
13 years 9 months ago
2006
We present a low-cost hand-based device coupled with a 3D motion recovery engine and 3D visualization. This platform aims at studying ergonomic 3D interactions in order to manipula...
NAR
2010
13 years 2 months ago
2010
WormBase (http://www.wormbase.org) is a central data repository for nematode biology. Initially created as a service to the Caenorhabditis elegans research field, WormBase has evo...