Sciweavers

7329 search results - page 1274 / 1466
» Network Extractor Protocols
Sort
View
AUSAI
2003
Springer
15 years 9 months ago
An eNegotiation Framework
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...
John K. Debenham
CCS
2003
ACM
15 years 9 months ago
PPay: micropayments for peer-to-peer systems
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
Beverly Yang, Hector Garcia-Molina
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
GCC
2003
Springer
15 years 9 months ago
A Service-Based Hierarchical Architecture for Parallel Computing in Grid Environment
Grid computing technologies enable widespread sharing and coordinated us of networked resources, including computing resources. Open Grid Service Architecture (OGSA) marries Web se...
Weiqin Tong, Jingbo Ding, Jianquan Tang, Bo Wang, ...
ICICS
2003
Springer
15 years 9 months ago
Practical Service Charge for P2P Content Distribution
With emerging decentralized technologies, peer-to-peer (P2P) content distribution arises as a new model for storage and transmission of data. In this scenario, one peer can be play...
Jose Antonio Onieva, Jianying Zhou, Javier Lopez
« Prev « First page 1274 / 1466 Last » Next »