literary texts critics in the contemporary era have had an outstanding development. schools and critical approaches have been created in this regard such as structuralism, deconstruction or the attitudes which pay attention to reader’s reading. these attitudes do not belong to new text but belongs to the ancient ones as well. one of these schools was structuralism which its consequent was metho...

0

The HAVi specification [9] proposes an architecture for audio/video interoperability in home networks. Part of the HAVi specification is a distributed leader election protocol. We have modelled this leader election protocol in Promela and Lotos and have checked several properties with the tools Spin and Xtl (from the Cæsar/Aldébaran

the literary works criticism in the contemporary era has had a significant development. thus the critical schools and approaches such as structuralism, deconstruction and etc. were founded.  these approaches were not unique in the new texts but they have been generalized to the ancient texts as well. one of these important schools were structuralism followed by methodology. methodology studies ...

Eight major consumer electronics manufacturers have come up with an open standard enabling home entertainment devices to communicate intelligently with each other. The HAVi (Home Audio Video Interoperability) standard promises to bring true platform independent interoperability to consumer devices using high bandwidth IEEE 1394 (FireWire) as the connecting medium. This paper studies the HAVi st...

My dissertation work has been twofold. The first part focuses on enhancing cellphone awareness with the purpose of minimizing inappropriate cellphone interruptions and to create more socially intelligent and thus accepted cell phones. I have introduced, designed, and investigated three different approaches toward that goal. The approaches capitalize on the emerging fields of ubiquitous computin...