6279 search results - page 1141 / 1256 » Objects as session-typed processes |
197
click to vote
TMC
2010
15 years 4 months ago
2010
—We consider a point-to-multipoint cognitive radio network that shares a set of channels with a primary network. Within the cognitive radio network, a base station controls and s...
252
click to vote
TSE
2010
15 years 4 months ago
2010
BACKGROUND – the systematic review is becoming a more commonly employed research instrument in empirical software engineering. Before undue reliance is placed on the outcomes of...
179
click to vote
UTP
2010
15 years 4 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...
150
click to vote
VC
2010
15 years 4 months ago
2010
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
200
click to vote
WCNC
2010
IEEE
15 years 4 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...