1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.IT2017
Status updates through M/G/1/1 queues with HARQ
Elie Najm, Roy D. Yates, Emina Soljanin
We consider a system where randomly generated updates are to be transmitted to a monitor, but only a single update can be in the transmission service at a time. Therefore, the sour…
cs.IT2016
Age of Information: The Gamma Awakening
Elie Najm, Rajai Nasser
We consider a scenario where a monitor is interested in being up to date with respect to the status of some system which is not directly accessible to this monitor. However, we ass…
cs.PL2012★ 1 cited
Adding Sessions to BPEL
Jonathan Michaux, Elie Najm, Alessandro Fantechi
By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present it…