We present a survey of formal speci cation techniques applied to the Tree Identify Protocol of the IEEE 1394 High Performance Serial Bus. Speci cations written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.

This paper presents a protocol for leader election in complete networks with a sense of direction. Sense of direction provides nodes the capability of distinguishing between their incident links according to a global scheme. We propose a protocol for leader election which requires O(N) messages and O(log N) time. The protocol is message optimal and the time complexity is a signiicant improvemen...

We resolve a conjecture proposed by D.E. Knuth concerning a recurrence arising in the satisfiability problem. Knuth’s recurrence resembles recurrences arising in the analysis of tries, in particular PATRICIA tries, and asymmetric leader election. We solve Knuth’s recurrence exactly and asymptotically, using analytic techniques such as the Mellin transform and analytic depoissonization.

Spend your few moment to read a book even only few pages. Reading book is not obligation and force for everybody. When you don't want to read, you can get punishment from the publisher. Read a book becomes a choice of your different characteristics. Many people with reading habit will always be enjoyable to read, or on the contrary. For some reasons, this dissemination of information in communi...

We report on our experiences and lessons learned using Scantegrity II in a mock election held April 11, 2009, in Takoma Park, Maryland. Ninety-five members of the community participated in our test of this voting system proposed for the November 2009 municipal election. Results helped improve the system for the November binding election.

| We deene the highly available local leader election problem, a generalization of the leader election problem for partitionable systems. We propose a protocol that solves the problem eeciently and give some performance measurements of our implementation. The local leader election service has been proven useful in the design and implementation of several fail-aware services for partitionable sy...

Leader election protocols are a fundamental building block for replicated distributed services. They ease the design of leader-based coordination protocols that tolerate failures. In partially synchronous systems, designing a leader election algorithm, that does not permit multiple leaders while the system is unstable, is a complex task. As a result many production systems use third-party distr...

In tax legislation, a depreciation allowance is applied in three provisions and results reduction of taxable amounts. A calculated for the period an employer owned vehicle prior to granting right use employee (paragraph 7(1) Seventh Schedule Income Tax Act section 10(13) Value-Added Act) or asset was leased acquisition by lessee (section 8(5)(bB) Act). Both periods could consist include less th...

We study committee election models where voters' approvals over candidates are collected and the election outcome is determined according to a predetermined voting rule, in particular issue-wise majority rule. The properties of these models are investigated with a special attention to representativeness of the election outcomes, where representativeness relates to the way they are consistent wi...