Sciweavers

4139 search results - page 528 / 828
» Designing and Implementing Combinator Languages
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
16 years 17 days ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
VTC
2008
IEEE
121views Communications» more  VTC 2008»
16 years 12 days ago
Cooperative Phase Sweep Amplify-and-Forward Transmission
— This work presents a new amplify-and-forward (AF) cooperative multiple input multiple output (MIMO) transmission scheme based on phase sweep transmit diversity. In a single hop...
Geoffrey G. Messier, Sebastian Magierowski, Jean-F...
GLOBECOM
2007
IEEE
16 years 11 days ago
UWB Impulse Radio with Triple-Polarization SIMO
Abstract— Polarized single-input multiple-output (SIMO) arrays can improve system robustness and rate while offering a compact design. We investigate the error performance of Imp...
Wasim Q. Malik, David J. Edwards
AINTEC
2007
Springer
16 years 7 days ago
Architecture of Satellite Internet for Asia-Wide Digital Communications
Abstract. This paper describes the network architecture of an Asiawide satellite Internet that considers the situations in developing regions. The design considerations for the arc...
Kotaro Kataoka, Achmad Husni Thamrin, Kenjiro Cho,...
WEA
2007
Springer
116views Algorithms» more  WEA 2007»
16 years 4 days ago
Optimal Edge Deletions for Signed Graph Balancing
The Balanced Subgraph problem (edge deletion variant) asks for a 2-coloring of a graph that minimizes the inconsistencies with given edge labels. It has applications in social netw...
Falk Hüffner, Nadja Betzler, Rolf Niedermeier