1187 search results - page 55 / 238 » A Timed Calculus for Wireless Systems |
125
Voted
KESAMSTA
2007
Springer
15 years 9 months ago
2007
Springer
: Non-repudiation of a mobile payment transaction ensures that when a buyer (B) sends some messages to a seller (S), neither B nor S can deny having participated in this transactio...
139
Voted
JSAC
2008
15 years 3 months ago
2008
Abstract-- In broadcast fading channel, channel variations can be exploited through what is referred to as multiuser diversity and opportunistic scheduling for improving system per...
154
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider the design and performance analysis of adaptive modulation and coding (AMC) applied to regenerative dual-hop transmission systems, where a source node communicates with...
146
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
133
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Depending on the position of mobile stations in the multihop relay system, various types of cooperative relaying schemes show the different level of throughput and outa...