In this paper we focus on systems whose goal is the distribution or exchange of resources such as software packages, scientific data, or multimedia files. To accomplish this goal efficiently, distributed systems find and retrieve resources using combinations of techniques such as brokering, proxying, caching, publish/subscribe, advertising, chaining, referral, recruiting, etc. The resulting architectures are complex and scale with difficulty. We propose two ideas that combine to make such systems much more scalable. One is to encapsulate queries into processes and to use process migration as the basic primitive for cooperation between sites. With this, a generic installer can run at each site, implementing any and all of the techniques ment...
Component-based development of language tools stands in need of meta-tool support. This support can ...
Our aim was to explore the attitudes of those living with motor neuron disease towards digital techn...
NASA's space data-communications infrastructure-the Space Network and the Ground Network-provide sch...
In this paper we focus on systems whose goal is the distribution or exchange of resources such as so...
Despite their popularity and importance, pointer-based programs remain a major challenge for program...
This thesis describes an unsupervised system to learn natural language morphology, specifically suff...
Variable Data Printing (VDP) allows customised versions of material such as advertising flyers to be...
Inspired by the success of model checking in hardware and protocol verification, model checking tech...
One of the technical impediments for the widespread adoption of the formal methods is an inability t...
Facility layout design, a NP Hard problem, is associated with the arrangement of facilities in a man...
Welcome to the 2012 Fall Seed Guide. Crops included in this guide are winter wheat, winter barley, t...
The rise of high-throughput scientific experimentation and data collection has introduced new classe...
This study established a weight optimized configuration design of a joined-wing sensor-craft. The jo...
We demonstrate that spin-orbit coupling can give rise to a strong terahertz response in metallic arm...
Industry 4.0 can be defined as the digitization of all components within the industry, by combining ...
Component-based development of language tools stands in need of meta-tool support. This support can ...
Our aim was to explore the attitudes of those living with motor neuron disease towards digital techn...
NASA's space data-communications infrastructure-the Space Network and the Ground Network-provide sch...
In this paper we focus on systems whose goal is the distribution or exchange of resources such as so...
Despite their popularity and importance, pointer-based programs remain a major challenge for program...
This thesis describes an unsupervised system to learn natural language morphology, specifically suff...
Variable Data Printing (VDP) allows customised versions of material such as advertising flyers to be...
Inspired by the success of model checking in hardware and protocol verification, model checking tech...
One of the technical impediments for the widespread adoption of the formal methods is an inability t...
Facility layout design, a NP Hard problem, is associated with the arrangement of facilities in a man...
Welcome to the 2012 Fall Seed Guide. Crops included in this guide are winter wheat, winter barley, t...
The rise of high-throughput scientific experimentation and data collection has introduced new classe...
This study established a weight optimized configuration design of a joined-wing sensor-craft. The jo...
We demonstrate that spin-orbit coupling can give rise to a strong terahertz response in metallic arm...
Industry 4.0 can be defined as the digitization of all components within the industry, by combining ...
Component-based development of language tools stands in need of meta-tool support. This support can ...
Our aim was to explore the attitudes of those living with motor neuron disease towards digital techn...
NASA's space data-communications infrastructure-the Space Network and the Ground Network-provide sch...