Multi-user virtual environment (MUVE) systems integrate the technologies of virtual reality and distributed system to allow users to interact with each other in a realistic virtua...
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
We introduce the novel notion of Verifiable Encryption of Chameleon Signatures (VECS), and then use it to design a three-round abuse-free optimistic contract signing protocol. Key...
Abstract--Ethernet passive optical networks (EPONs) are designed to deliver services for numerous applications such as voice over Internet protocol, standard and high-definition vi...
Ahmad R. Dhaini, Chadi M. Assi, Martin Maier, Abda...
One of the key goals for a simulation model is to accurately replicate the real system under consideration. A protocol is proposed to add credibility to the outputs of a simulatio...
Lenrick Johnston, Lee Schruben, Arden Yang, David ...