We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
Algorithmic mechanism design considers distributed settings where the participants, termed agents, cannot be assumed to follow the protocol but rather their own interests. The pro...
—Dynamic spectrum access has become a promising approach that can coordinate different users’ access to adapt to spectrum dynamics to improve spectrum efficiency. However, use...
Wireless Sensor Networks (WSNs) have been widely used in environment monitoring to collect useful information. Packet broadcasting is an essential function for establishing a comm...
This paper describes a new model for extracting large-field optical flow patterns to generate distributed representations of neural activation to control complex visual tasks such ...