554 search results - page 47 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
101
Voted
IJRR
2008
15 years 18 days ago
2008
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
115
click to vote
EUROCRYPT
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
89
Voted
FUIN
2008
15 years 19 days ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
104
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Precoding with block diagonalization is an attractive approach for approaching sum capacity in multiuser MIMO (multiple input multiple output) broadcast channels. This ...
182
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract-- Communications between individuals can be represented by (weighted, multi-) graphs. Many applications operate on communication graphs associated with telephone calls, em...