Sciweavers

3 search results - page 1 / 1
» Decoding the perioperative process breakdowns: A theoretical...
Sort
View
PIMRC
2008
IEEE
14 years 1 months ago
Information-theoretic implications of constrained cooperation in simple cellular models
—Recent information theoretic results on cooperation in cellular systems are reviewed, addressing both multicell processing (cooperation among base stations) and relaying (cooper...
Shlomo Shamai, Osvaldo Simeone, Oren Somekh, Amich...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
14 years 1 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong