The Passage mechanism introduced in this paper provides an easy and intuitive way to transport various types of digital objects by using also normal physical objects without any sp...
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
We introduce a constrained mechanism design setting called internal implementation, in which the mechanism designer is explicitly modeled as a player in the game of interest. This...
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
Ethernet passive optical networks (EPONs) technology has emerged as a promising candidate for next-generation broadband access networks. As this technology evolves, the developmen...