Sciweavers

675 search results - page 32 / 135
» Using Fairness to Make Abstractions Work
Sort
View
BMCBI
2011
14 years 9 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...
CAISE
2008
Springer
15 years 3 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
PADL
2011
Springer
14 years 4 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
APPROX
2007
Springer
112views Algorithms» more  APPROX 2007»
15 years 8 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 7 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...