Sciweavers

1523 search results - page 222 / 305
» Partially ordered secretaries
Sort
View
MATES
2005
Springer
15 years 6 months ago
Semantic Methods for P2P Query Routing
Knowledge sharing in a virtual organization requires a knowledge life cycle including knowledge provisioning, terminology alignment, determination of resource location, query routi...
Alexander Löser, Steffen Staab, Christoph Tem...
SEMWEB
2005
Springer
15 years 6 months ago
Web Service Composition with Volatile Information
In many Web service composition problems, information may be needed from Web services during the composition process. Existing research on Web service composition (WSC) procedures...
Tsz-Chiu Au, Ugur Kuter, Dana S. Nau
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 6 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
ACMICEC
2004
ACM
107views ECommerce» more  ACMICEC 2004»
15 years 6 months ago
Reasoning about commitments in multiple concurrent negotiations
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
Thuc Duong Nguyen, Nicholas R. Jennings
100
Voted
IUI
2004
ACM
15 years 6 months ago
Flexible interface migration
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
Renata Bandelloni, Fabio Paternò