Sciweavers

8493 search results - page 1060 / 1699
» Implementing a distributed firewall
Sort
View
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 2 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 2 months ago
Crescando
This demonstration presents Crescando, an implementation of a distributed relational table that guarantees predictable response time on unpredictable workloads. In Crescando, data...
Georgios Giannikis, Philipp Unterbrunner, Jeremy M...
TSP
2010
15 years 1 months ago
MIMO cognitive radio: a game theoretical approach
Abstract--The concept of cognitive radio (CR) has recently received great attention from the research community as a promising paradigm to achieve efficient use of the frequency re...
Gesualdo Scutari, Daniel Pérez Palomar
TSP
2010
15 years 1 months ago
Reduced feedback schemes using random beamforming in MIMO broadcast channels
A random beamforming scheme for the Gaussian MIMO broadcast channel with channel quality feedback is investigated and extended. Considering the case where the receivers each have r...
Matthew Pugh, Bhaskar D. Rao
COGCOM
2011
213views more  COGCOM 2011»
15 years 1 months ago
Spatiotemporal Features for Action Recognition and Salient Event Detection
Although the mechanisms of human visual understanding remain partially unclear, computational models inspired by existing knowledge on human vision have emerged and applied to seve...
Konstantinos Rapantzikos, Yannis S. Avrithis, Stef...
« Prev « First page 1060 / 1699 Last » Next »