Sciweavers

1438 search results - page 102 / 288
» An Expressive Extension of TLC
Sort
View
91
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
Channel Adaptive Encoding and Decoding Strategies and Rate Regions for the Three User Cooperative Multiple Access Channel
—For a cooperative Gaussian multiple access channel (MAC), we propose a new channel adaptive three user cooperation strategy, based on a non-trivial extension of block Markov sup...
Çagatay Edemen, Onur Kaya
IAT
2008
IEEE
15 years 7 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
SCCC
2008
IEEE
15 years 7 months ago
A Domain Specific Language for the Development of Collaborative Systems
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
Luis Mariano Bibbo, Diego García, Claudia P...
136
Voted
AB
2008
Springer
15 years 7 months ago
On the Computational Power of Biochemistry
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...
Luca Cardelli, Gianluigi Zavattaro
102
Voted
QEST
2007
IEEE
15 years 7 months ago
A Performance Analysis Tool for Scenario-Aware Streaming Applications
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
Bart D. Theelen