Sciweavers

666 search results - page 80 / 134
» Fair watermarking techniques
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
A Lazy Unbounded Model Checker for Event-B
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
Paulo J. Matos, Bernd Fischer, João P. Marq...
VTC
2008
IEEE
136views Communications» more  VTC 2008»
15 years 4 months ago
Proportional Channel-Aware Packet Scheduling in Satellite Multimedia Broadcasting
— This paper studies the optimization techniques for scheduling multimedia packets in satellite digital multimedia broadcasting system, namely SDMB, in the presence of a return l...
Hongfei Du
VTC
2007
IEEE
15 years 4 months ago
Fast and Area-Efficient Sphere Decoding Using Look-Ahead Search
— Sphere decoding enables maximum likelihood (ML) detection with fairly low complexity in the MIMO wireless systems, but it takes hundreds cycles at low SNR environment. This pap...
Se-Hyeon Kang, In-Cheol Park
ICCS
2005
Springer
15 years 3 months ago
Conzilla - A Conceptual Interface to the Semantic Web
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
Matthias Palmér, Ambjörn Naeve
ICOIN
2005
Springer
15 years 3 months ago
A New Congestion Control Mechanism of TCP with Inline Network Measurement
In this paper, we propose a novel congestion control mechanism of TCP, by using an inline network measurement technique. By using information of available bandwidth of a network pa...
Tomohito Iguchi, Go Hasegawa, Masayuki Murata