The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
Abstract. Wireless technology can enhance the Web-based learning applications with efficiency and effectiveness. This paper presents the design and implementation of a novel Wirele...
Networking has turned computers from isolated data processors into powerful communication and elaboration devices, called global computers; an illustrative example is the World
Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferra...
Abstract--The capacity of ad hoc wireless networks is constrained by the mutual interference of concurrent transmissions between nodes. We study a model of an ad hoc network where ...
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
Sumeer Bhola, Mark Astley, Robert Saccone, Michael...