Sciweavers

5344 search results - page 524 / 1069
» Privacy-Preserving Set Operations
Sort
View
ARTQOS
2003
Springer
16 years 21 days ago
An Implementation of a Service Class Providing Assured TCP Rates within the AQUILA Framework
This paper investigates an attempt to establish a QoS class that supports long-lived, bulk-data TCP flows that require a minimum rate from the network. The approach is based on a ...
Christof Brandauer, Peter Dorfinger
177
Voted
ATAL
2003
Springer
16 years 21 days ago
An incentive compatible reputation mechanism
Traditional centralised approaches to security are difficult to apply to large, distributed marketplaces in which software agents operate. Developing a notion of trust that is ba...
Radu Jurca, Boi Faltings
ATAL
2003
Springer
16 years 21 days ago
A decision making procedure for collaborative planning
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
Timothy W. Rauenbusch, Barbara J. Grosz
186
Voted
CHARME
2003
Springer
103views Hardware» more  CHARME 2003»
16 years 21 days ago
Linear and Nonlinear Arithmetic in ACL2
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
Warren A. Hunt Jr., Robert Bellarmine Krug, J. Str...
211
Voted
ECWEB
2003
Springer
141views ECommerce» more  ECWEB 2003»
16 years 21 days ago
Storing DTD-Conscious XML Data in XEDY
Abstract. In this paper, we discuss the XEDY system for storing DTDconscious XML data in a standard relational databases management system. For this, we propose a database schema f...
Sourav S. Bhowmick, Tay Khim Wee, Erwin Leonardi, ...