Trade & Cap: A Customer-Managed, Market-Based System for Trading Bandwidth Allowances at a Shared Link

We propose Trade & Cap (T&C), an economics-inspired mechanism that incentivizes users to voluntarily coordinate their consumption of the bandwidth of a shared resource (e.g., a DSLAM link) so as to converge on what they perceive to be an equitable allocation, while ensuring efficient resource utilization. Under T&C, rather than acting as an arbiter, an Internet Service Provider (ISP) acts as an enforcer of what the community of rational users sharing the resource decides is a fair allocation of that resource. Our T&C mechanism proceeds in two phases. In the first, software agents acting on behalf of users engage in a strategic trading game in which each user agent selfishly chooses bandwidth slots to reserve in support of primary, interactive network usage activities. In the second phase, each user is allowed to acquire additional bandwidth slots in support of presumed open-ended need for fluid bandwidth, catering to secondary applications. The acquisition of this fluid bandwidth is subject to the remaining "buying power" of each user and by prevalent "market prices" – both of which are determined by the results of the trading phase and a desirable aggregate cap on link utilization. We present analytical results that establish the underpinnings of our T&C mechanism, including game-theoretic results pertaining to the trading phase, and pricing of fluid bandwidth allocation pertaining to the capping phase. Using real network traces, we present extensive experimental results that demonstrate the benefits of our scheme, which we also show to be practical by highlighting the salient features of an efficient implementation architecture.

Safe Compositional Network Sketches: The Formal Framework

NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system while retaining sufficient information about it to carry out future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis. The compositional analysis is based on a strongly-typed Domain-Specific Language (DSL) for describing and reasoning about constrained-flow networks at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity. In a companion paper [6], we overview NetSketch, highlight its salient features, and illustrate how it could be used in two applications: the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications).

Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [30] we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. In this report we evaluate our proposed design criteria by utilizing within the context of novel research a formal reasoning system that is designed according to these criteria. In particular, we consider how the design and capabilities of the formal reasoning system that we employ influence, aid, or hinder our ability to accomplish a formal reasoning task – the assembly of a machine-verifiable proof pertaining to the NetSketch formalism. NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. It provides capabilities for compositional analysis based on a strongly-typed domain-specific language (DSL) for describing and reasoning about constrained-flow networks and invariants that need to be enforced thereupon. In a companion paper [13] we overview NetSketch, highlight its salient features, and illustrate how it could be used in actual applications. In this paper, we define using a machine-readable syntax major parts of the formal system underlying the operation of NetSketch, along with its semantics and a corresponding notion of validity. We then provide a proof of soundness for the formalism that can be partially verified using a lightweight formal reasoning system that simulates natural contexts. A traditional presentation of these definitions and arguments can be found in the full report on the NetSketch formalism [12].

The corporate social responsibility movement and law's empire: Is there a conflict?

At the heart of corporate governance and social responsibility discourse is recognition of the fact that the modern corporation is primarily governed by the profit maximisation imperative coupled with moral and ethical concerns that such a limited imperative drives the actions of large and wealthy corporations which have the ability to act in influential and significant ways, shaping how our social world is experienced. The actions of the corporation and its management will have a wide sphere of impact over all of its stakeholders whether these are employees, shareholders, consumers or the community in which the corporation is located. As globalisation has become central to the way we think it is also clear that ‘community’ has an ever expanding meaning which may include workers and communities living very far away from Corporate HQ. In recent years academic commentators have become increasingly concerned about the emphasis on what can be called short-term profit maximisation and the perception that this extremist interpretation of the profit imperative results in morally and ethically unacceptable outcomes.1 Hence demands for more corporate social responsibility. Following Cadbury’s2 classification of corporate social responsibility into three distinct areas, this paper will argue that once the legally regulated tier is left aside corporate responsibility can become so nebulous as to be relatively meaningless. The argument is not that corporations should not be required to act in socially responsible ways but that unless supported by regulation, which either demands high standards, or at the very least incentivises the attainment of such standards such initiatives are doomed to failure. The paper will illustrate by reference to various chosen cases that law’s discourse has already signposted ways to consider and resolve corporate governance problems in the broader social responsibility context.3 It will also illustrate how corporate responsibility can and must be supported by legal measures. Secondly, this paper will consider the potential conflict between an emphasis on corporate social responsibility and the regulatory approach.4 Finally, this paper will place the current interest in corporate social responsibility within the broader debate on the relationship between law and non-legally enforceable norms and will present some reflections on the norm debate arising from this consideration of the CSR movement.

Economic and Social Upgrading in Global Value Chains and Industrial Clusters: Why Governance Matters

© 2014, Springer Science+Business Media Dordrecht.The burgeoning literature on global value chains (GVCs) has recast our understanding of how industrial clusters are shaped by their ties to the international economy, but within this context, the role played by corporate social responsibility (CSR) continues to evolve. New research in the past decade allows us to better understand how CSR is linked to industrial clusters and GVCs. With geographic production and trade patterns in many industries becoming concentrated in the global South, lead firms in GVCs have been under growing pressure to link economic and social upgrading in more integrated forms of CSR. This is leading to a confluence of “private governance” (corporate codes of conduct and monitoring), “social governance” (civil society pressure on business from labor organizations and non-governmental organizations), and “public governance” (government policies to support gains by labor groups and environmental activists). This new form of “synergistic governance” is illustrated with evidence from recent studies of GVCs and industrial clusters, as well as advances in theorizing about new patterns of governance in GVCs and clusters.