MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
In the future, digital set -top boxes may serve as the primary access point for wireless home networks, enabling mobile us ers to use video conferencing as well as streaming appli...
Yiftach Eisenberg, Carlos E. Luna, Thrasyvoulos N....