Sciweavers

2035 search results - page 208 / 407
» Communicating Scala Objects
Sort
View
P2P
2009
IEEE
155views Communications» more  P2P 2009»
14 years 4 months ago
ModelNet: Towards a DataCenter Emulation Environment
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
Kashi Venkatesh Vishwanath, Amin Vahdat, Ken Yocum...
LICS
2009
IEEE
14 years 3 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
CSSE
2008
IEEE
14 years 3 months ago
Constructing a Fractal P2P Network
—A Peer-to-Peer (P2P) network is a communication network constructed on application level, for the purpose of exchanging information among peers. Fractal, defined as an object or...
Changxiong Tang, Rui Wang
GLOBECOM
2008
IEEE
14 years 3 months ago
A Dynamic Programming Approach for Routing in Wireless Mesh Networks
—The routing problem in Wireless Mesh Networks is concerned with finding “good” source-destination paths. It generally faces multiple objectives to be optimized, such as i) ...
Jorge Crichigno, Joud Khoury, Min-You Wu, Wei Shu