Sciweavers

675 search results - page 32 / 135
» Using Fairness to Make Abstractions Work
Sort
View
156
Voted
BMCBI
2011
14 years 10 months ago
easyDAS: Automatic creation of DAS servers
Background: The Distributed Annotation System (DAS) has proven to be a successful way to publish and share biological data. Although there are more than 750 active registered serv...
Bernat Gel, Andrew M. Jenkinson, Rafael C. Jimenez...
128
Voted
CAISE
2008
Springer
15 years 5 months ago
A Flexible and Semantic-Aware Publication Infrastructure for Web Services
Abstract. This paper presents an innovative approach for the publication and discovery of Web services. The proposal is based on two previous works: DIRE (DIstributed REgistry), fo...
Luciano Baresi, Matteo Miraz, Pierluigi Plebani
207
Voted
PADL
2011
Springer
14 years 6 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
146
Voted
APPROX
2007
Springer
112views Algorithms» more  APPROX 2007»
15 years 10 months ago
Encouraging Cooperation in Sharing Supermodular Costs
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
Andreas S. Schulz, Nelson A. Uhan
SCAM
2005
IEEE
15 years 9 months ago
Pointer Analysis for Source-to-Source Transformations
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. W...