Sciweavers

1329 search results - page 206 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
GLOBECOM
2007
IEEE
15 years 6 months ago
Outage Behavior of Quasi-Static Fading Channels with Partial Power Control and Noisy Feedback
Abstract— We investigate the outage behavior of multipleantenna slowly fading channels with resolution constrained feedback and partial power control. A fixed-rate communication...
Siavash Ekbatani, Farzad Etemadi, Hamid Jafarkhani
113
Voted
ICIDS
2009
Springer
15 years 4 months ago
Comparing Effects of Different Cinematic Visualization Strategies on Viewer Comprehension
Abstract. Computational storytelling systems have mainly focused on the construction and evaluation of textual discourse for communicating stories. Few intelligent camera systems h...
Arnav Jhala, R. Michael Young
101
Voted
TACAS
2004
Springer
122views Algorithms» more  TACAS 2004»
15 years 5 months ago
A Scalable Incomplete Test for the Boundedness of UML RT Models
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
Stefan Leue, Richard Mayr, Wei Wei
GC
2004
Springer
15 years 5 months ago
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Johannes Borgström, Uwe Nestmann, Luc Onana A...
ESORICS
2006
Springer
15 years 3 months ago
Secure Key-Updating for Lazy Revocation
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
Michael Backes, Christian Cachin, Alina Oprea