Sciweavers

1180 search results - page 104 / 236
» Interaction Protocols in Agentis
Sort
View
94
Voted
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
15 years 3 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
112
Voted
DEXAW
2005
IEEE
132views Database» more  DEXAW 2005»
15 years 6 months ago
A Decentralized Agent Framework for Dynamic Composition and Coordination for Autonomic Applications
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...
Zhen Li, Manish Parashar
95
Voted
ICPADS
2005
IEEE
15 years 6 months ago
Key Agreement for Heterogeneous Mobile Ad-Hoc Groups
In this paper we propose an efficient key agreement protocol suite for heterogeneous mobile ad-hoc groups, whose members use mobile devices with different performance limitations...
Mark Manulis
100
Voted
CIS
2004
Springer
15 years 6 months ago
General Public Key m-Out-of-n Oblivious Transfer
Abstract. In the m-out-of-n oblivious transfer model, Alice has n messages, Bob has m choices. After the interaction between the two parties, Bob can get m but only m messages from...
Zhide Chen, Hong Zhu
98
Voted
SPIRE
1999
Springer
15 years 5 months ago
Flexible Communication Support for CSCW Applications
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
Hugo Miranda, Luís Rodrigues