This paper addresses the problem of providing transactional support for improved data consistency in mobile file access, while paying careful attention to the resource constraints of mobile clients. We present data on resource consumption from an implementation of the isolation-only transaction (IOT) mechanism of the Coda File System. The data shows that the resource conservation techniques use...

In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. This analysis has been successfully applied to many standard algorithms but is limited to bounds that are linear in the size of the input. Here we extend this system to polynomial resource bounds. An automatic amortiz...

This paper presents a platform that facilitates building scientific services on top. We describe the problems in building such services and derive a general-purpose, extensible layer for accessing any resource that has a URI and is accessible on the Web. The platform, and more in general the classes of systems that have this functionality, is referred to as Resource Space Management System and ...

The manner in which an animal moves throughout and utilizes the space available to it depends on the dispersal, availability, and level of competition for resources the animal requires for its biological functioning. We tested groups of broilers (Gallus gallus domesticus) in 3 experimental group sizes of 5, 10, and 20 individuals per group under 3 resource distribution patterns. Groups were tes...

Much of our understanding of competition comes trom onservations in sessue systems, such as rainforests and marine invertebrate communities. In terrestrial systems, sessile species often compete for multiple limiting resources (i.e., space, light, and nutrients), but in marine systems, space is viewed as the primary or sole limiting resource. Competition theory, on the other hand, suggests that...

Abstract We present a tri-objective mixed-integer linear programming model of the tactical resource allocation problem with inventories, called generalized (GTRAP). propose specialized criterion space decomposition strategy, in which projected two-dimensional is partitioned and corresponding sub-problems are solved parallel by application quadrant shrinking method (QSM) (Boland Eur J Oper Res 2...

During the last two decades enhanced multiple use of underground resources and space led to a growing number issues which current European Union (EU) and/or its Member States (MS) national legal regulatory frameworks knowledge bases are not able manage efficiently, from sustainable development perspective. With focus on Europe, this study is horizon scanning review raise awareness situation hig...