Sciweavers

41650 search results - page 363 / 8330
» Distribution of
Sort
View
INFORMATICALT
2008
74views more  INFORMATICALT 2008»
15 years 6 months ago
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
Regimantas Pliuskevicius, Aida Pliuskeviciene
INTERNET
2007
131views more  INTERNET 2007»
15 years 6 months ago
Live Distributed Objects: Enabling the Active Web
Distributed computing has been slow to benefit from the productivity revolution that has transformed the desktop. We still treat the Web as a separate technology space: programmer...
Krzysztof Ostrowski, Ken Birman, Danny Dolev
COMBINATORICS
2002
76views more  COMBINATORICS 2002»
15 years 6 months ago
On the Number of Distributive Lattices
We investigate the numbers dk of all (isomorphism classes of) distributive lattices with k elements, or, equivalently, of (unlabeled) posets with k antichains. Closely related and...
Marcel Erné, Jobst Heitzig, Jürgen Rei...
COMCOM
1998
52views more  COMCOM 1998»
15 years 6 months ago
Dissemination of state information in distributed autonomous systems
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
Steve J. Chapin, Eugene H. Spafford
INFORMATICALT
2002
118views more  INFORMATICALT 2002»
15 years 6 months ago
Cryptanalysis and Improvement of Key Distribution System for VSAT Satellite Communications
Recently, Park and Lim (1998) proposed two key distribution systems for secure VSAT satellite communications. One provides indirect authentication, and another scheme enables that ...
Yuh-Min Tseng