LCS Publications
Collections in this community
Recent Submissions
-
Compositionality for Probabilistic Automata
We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder. -
Improving Application-level Network Services with Regions
(2003-05)The underlying premise of the Region Project is that the concept of a region should be a new architecture capability in networking. A region is an entity that encapsulates and implements scoping, grouping, subdividing, and ... -
Sift: A MAC Protocol for Event-Driven Wireless Sensor Networks
(2003-05)Nodes in sensor networks often encounter spatially-correlated contention, where multiple nodes in the same neighborhood all sense an event they need to transmit information about. Furthermore, in many sensor network ...