Modern MIP solvers exploit a rich arsenal of tools to attack hard problems, some of which include the solution of LP models to control the branching strategy (strong branching), the cut generation (lift-and-project), the heuristics (reduced costs), etc. As a matter of fact, it is well understood

aim to limit the degree to which house prices rise and fall over a credit cycle. Reducing the amplitude of the house price swings will limit the potential for collateral damage created by housing markets for the real economy. Related Literature Given that housing is a durable asset, periods of rising

aim to limit the degree to which house prices rise and fall over a credit cycle. Reducing the amplitude of the house price swings will limit the potential for collateral damage created by housing markets for the real economy. Related Literature Given that housing is a durable asset, periods of rising

Abstract: Mobile ad hoc networks (MANETs) and wireless sensor networks (WSNs) are two recently-developed technologies that uniquely function without xed infrastructure support, and sense at scales, resolutions, and durations previously not possible. While both offer great potential in many applications, developing software for these types of networks is extremely dffcult, preventing their wide-spread use. Three primary challenges are (1) the high level of dynamics within the network in terms of changing wireless links and node hardware con gurations, (2) the wide variety of hardware present in these networks, and (3) the extremely limited computational and energy resources available. Until now, the burden of handling these issues was put on the software application developer. This dissertation presents three novel programming models and middleware systems that address these challenges: Limone, Agilla, and Servilla. Limone reliably handles high levels of dynamics within MANETs. It does this through lightweight coordination primitives that make minimal assumptions about network connectivity. Agilla enables self-adaptive WSN applications via the integration of mobile agent and tuple space programming models, which is critical given the continuously changing network. It is the rst system to successfully demonstrate the feasibility of using mobile agents and tuple spaces within