— This paper investigates distributed medium access control (MAC) to achieve rate guarantee in pulse-based timehopping ultra-wideband (UWB) wireless networks, where the inherent ...
Hai Jiang, Kuang-Hao Liu, Weihua Zhuang, Xuemin Sh...
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Self-organizing systems are present in many areas of nature and science, and have more recently been increasingly applied to telecommunications. These systems often exhibit common ...
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
Anthony Papavasiliou, Haitham Hindi, Daniel Greene
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...