3275 search results - page 532 / 655 » Issues in Communication Game |
160
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
150
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
The development of turbo codes has allowed for nearShannon limit information transfer in modern communication systems. Although turbo decoding is viewed as superior to alternate d...
152
click to vote
CAMAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Switched Processing Systems (SPS) capture the essence of a fundamental resource allocation problem in many modern communication, computer and manufacturing systems involving hetero...
156
Voted
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Moving range queries over mobile objects are important in many location management applications. There have been quite a few research works in this area. However, all existing solu...
158
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
More and more CoPs have chosen virtual environments and services to support their activities. However, recent research has underlined several problems: the lack of adequate scaffol...