2555 search results - page 199 / 511 » Quantifiers and Working Memory |
170
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Wireless ad hoc networks require bidirectional data transmission to support two-way traffic and control functions like packet acknowledgement. Most prior work on the capacity o...
195
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
— Cell Superscalar (CellSs) provides a simple, flexible and easy programming approach for the Cell Broadband Engine (Cell/B.E.) that automatically exploits the inherent concurre...
150
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Determining how to transport delay-sensitive voice data has long been a problem in multimedia networking. The difficulty arises because voice and best-effort data are different...
177
click to vote
BICOB
2009
Springer
16 years 1 months ago
2009
Springer
Phylogenetics is concerned with inferring the genealogical relationships between a group of organisms (or taxa), and this relationship is usually expressed as an evolutionary tree....
166
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...