Sciweavers

489 search results - page 71 / 98
» Communication Complexity of Permutation-Invariant Functions
Sort
View
TRIDENTCOM
2006
IEEE
15 years 4 months ago
A reliable optimization on distributed mutual exclusion algorithm
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
Moharram Challenger, Peyman Bayat, Mohammad Reza M...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 3 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
CSFW
2008
IEEE
15 years 5 months ago
DKAL: Distributed-Knowledge Authorization Language
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
Yuri Gurevich, Itay Neeman
DEXAW
2005
IEEE
127views Database» more  DEXAW 2005»
15 years 4 months ago
A Key Establishment IP-Core for Ubiquitous Computing
A most critical and complex issue with regard to constrained devices in the ubiquitous and pervasive computing setting is secure key exchange. The restrictions motivate the invest...
Markus Volkmer, Sebastian Wallner
ARCS
2004
Springer
15 years 3 months ago
A Framework for Dependability Evaluation of Mechatronic Units
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
Hans-Dieter Kochs, Jörg Petersen