Sciweavers

78 search results - page 13 / 16
» Communications-inspired sensing: a case study on waveform de...
Sort
View
ICALP
2003
Springer
14 years 6 days ago
Quantitative Analysis of Probabilistic Lossy Channel Systems
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
Alexander Moshe Rabinovich
EMSOFT
2008
Springer
13 years 8 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
COOP
2004
13 years 8 months ago
Backdoor Creativity: Collaborative Creativity in Technology Supported Teams
This case study describes collaborative creativity in technology-supported teams with the task of making an interactive artefact. The teams work in the iLounge, which is designed a...
Hillevi Sundholm, Henrik Artman, Robert Ramberg
CORR
2008
Springer
189views Education» more  CORR 2008»
13 years 7 months ago
Algorithms for Dynamic Spectrum Access with Learning for Cognitive Radio
We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooperati...
Jayakrishnan Unnikrishnan, Venugopal V. Veeravalli
CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 6 months ago
The Sketch of a Polymorphic Symphony
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
Ralf Lämmel