2021 search results - page 171 / 405 » COCO: Composition Model and Composition Model Implementation |
152
click to vote
ATAL
2009
Springer
16 years 25 days ago
2009
Springer
The aim of our research is to provide a unified model for the composition and management of consumer care services. We identify design, composition, distribution and management as...
143
click to vote
FSTTCS
2009
Springer
16 years 24 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
172
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
147
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
Personalisation and context-awareness are fundamental concerns in Telephony. This paper introduces a rule-based system - 4CRULES - which enables context-sensitive call control by t...
179
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a detailed sum rate investigation of Zero-Forcing (ZF) detectors over composite multiple-input multiple-output (MIMO) channels. To this end, we consider the ge...