Sciweavers

1284 search results - page 192 / 257
» Abstract Processes in Orchestration Languages
Sort
View
159
Voted
SOCO
2005
Springer
16 years 5 days ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
TBILLC
2005
Springer
16 years 5 days ago
A Whether Forecast
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
Kjell Johan Sæbø
UM
2005
Springer
16 years 5 days ago
An Economic Model of User Rating in an Online Recommender System
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
F. Maxwell Harper, Sherry Xin Li, Yan Chen, Joseph...
SIGIR
2004
ACM
16 years 4 days ago
A logic-based approach for computing service executions plans in peer-to-peer networks
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
Henrik Nottelmann, Norbert Fuhr
CP
2004
Springer
16 years 3 days ago
Decomposition and Learning for a Hard Real Time Task Allocation Problem
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Ma...