12981 search results - page 2228 / 2597 » Model Checking (Abstract) |
120
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— To protect SIP communication networks from attacks, especially flooding attacks like Denial-of-Service or message spam, Intrusion Detection Systems (IDS) are deployed ...
122
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Consider the problem of base-station and subcarrier assignment on the downlink of a two-cell OFDMA system with adaptive modulation. The aim is to maximize a common data...
142
click to vote
SBACPAD
2008
IEEE
15 years 11 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
147
click to vote
SMI
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract In this paper, we study the problem of approximate topological matching for quadrilateral meshes, that is, the problem of finding as large a set as possible of matching p...
161
click to vote
SSDBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Existing approaches to the management of streaming positional updates generally assume that all active user requests have equal importance, ignoring the possibility of an...