منابع مشابه
dr af t Battery - Powered Distributed Systems Extended
Mobile personal computers will be a vital technology for making electronic information processing available to people on the move. We expect personal mobile computers, ‘mobile digital companions’, to be small enough that they can be carried along all day, versatile enough that they can be used for all kinds of information processing — diary, notebook, pager, telephone, walk man, dictation, e-ma...
متن کاملModelling Rea tion Systems with Petri Nets ( Extended Abstra t )
1 LIACS, Leiden University, 2300 RA, The Netherlands 2 S hool of Computing S ien e, New astle University, NE1 7RU, UK 3 Department of Computer S ien e, University of Colorado at Boulder 430 UCB Boulder, CO 80309-0430, U.S.A. Abstra t. We investigate how Petri nets ould be used to provide a faithful semanti s of rea tion systems, a formal framework for the investigation of pro esses arried by bi...
متن کاملProperty (T) for C*-dynamical systems
In this paper, we introduce a notion of property (T) for a C<span style="font-family: txsy; font-size: 7pt; color: #000000; font-style: norm...
متن کاملDisjoint Systems (Extended Abstract)
A disjoint system of type (∀,∃, k, n) is a collection C = {A1, . . . ,Am} of pairwise disjoint families of k-subsets of an n-element set satisfying the following condition. For every ordered pair Ai and Aj of distinct members of C and for every A ∈ Ai there exists a B ∈ Aj that does not intersect A. Let Dn(∀,∃, k) denote the maximum possible cardinality of a disjoint system of type (∀,∃, k, n)....
متن کاملPseudonym Systems ( Extended
Pseudonym systems allow users to interact with multiple organizations anonymously, using pseudonyms. The pseudonyms cannot be linked, but are formed in such a way that a user can prove to one organization a statement about his relationship with another. Such a statement is called a credential. Previous work in this area did not protect the system against dishonest users who collectively use the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Selecta Mathematica
سال: 2012
ISSN: 1022-1824,1420-9020
DOI: 10.1007/s00029-011-0083-x