437 search results - page 12 / 88 » A Component Coordination Model Based on Mobile Channels |
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
ENTCS
2008
14 years 8 months ago
2008
Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—In this paper we propose a low complexity frequency domain channel estimator for pilot-symbol-assisted (PSA) orthogonal frequency division multiplexing (OFDM) systems in...
71
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— A novel, practical and low-complexity multi-cell OFDMA downlink channel assignment method using a graphbased approach is proposed in this work. The inter-cell interference (ICI...