10633 search results - page 1579 / 2127 » Relating Distributed Objects |
141
Voted
SETA
2010
Springer
15 years 2 months ago
2010
Springer
Protocol sequences are binary and periodic sequences used in multiple-access scheme for collision channel without feedback. Each user reads out the bits from the assigned protocol ...
153
click to vote
STTT
2010
15 years 2 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
114
click to vote
TCS
2010
15 years 2 months ago
2010
One of the major operators of Bacterial Foraging Optimization Algorithm (BFOA) is the reproduction phenomenon of virtual bacteria each of which models one trial solution of the op...
145
Voted
UTP
2010
15 years 2 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
172
Voted
WCNC
2010
IEEE
15 years 2 months ago
2010
IEEE
—An important transmitter adaptation technique used in multiple-input multiple-output (MIMO) communication systems is precoding based on the dominant right-singular vectors of th...