3908 search results - page 163 / 782 » A model for service-oriented communication systems |
189
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
158
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— Forward Error Correction (FEC) schemes are generally used in wireless communication systems to maintain an acceptable quality of service. Various models have been proposed in l...
161
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
147
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— Cross-layer optimization (CLO) promises significant gains in comparison to a conventional system design, which does not allow for information exchange across layers. One of th...
133
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long