Sciweavers

3775 search results - page 419 / 755
» The Expression Problem Revisited
Sort
View
WINE
2005
Springer
122views Economy» more  WINE 2005»
16 years 8 days ago
Multi-unit Combinatorial Reverse Auctions with Transformability Relationships Among Goods
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
Andrea Giovannucci, Juan A. Rodríguez-Aguil...
DALT
2005
Springer
16 years 8 days ago
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
Kaiyu Wan, Vasu S. Alagar
SAC
2004
ACM
16 years 7 days ago
Web Services: separation of concerns: computation coordination communication
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
Theophilos A. Limniotes, George A. Papadopoulos, F...
SIGOPSE
2004
ACM
16 years 7 days ago
Lessons and challenges in automating data dependability
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
Kimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase...
AMAST
2004
Springer
16 years 6 days ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel