Sciweavers

306 search results - page 29 / 62
» Asynchronous Polycyclic Architecture
Sort
View
ICDCS
2009
IEEE
14 years 5 months ago
Distributed Key Generation for the Internet
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...
Aniket Kate, Ian Goldberg
C5
2005
IEEE
14 years 2 months ago
P2P e-Learning System and Its Squeak-Based User Interface
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
Takao Kawamura, Ryosuke Nakatani, Kazunori Sugahar...
ATAL
1995
Springer
14 years 2 days ago
Alarms: An Implementation of Motivated Agency
Autonomousagentsin the real world must be capableof asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of go...
Timothy J. Norman, Derek Long
FORTE
2008
13 years 10 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
PTS
2007
99views Hardware» more  PTS 2007»
13 years 10 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan