Sciweavers

4312 search results - page 495 / 863
» Semi-User-Level Communication Architecture
Sort
View
TOPLAS
2008
101views more  TOPLAS 2008»
15 years 6 months ago
Verifying policy-based web services security
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
JPDC
2007
177views more  JPDC 2007»
15 years 6 months ago
Adaptive decomposition and remapping algorithms for object-space-parallel direct volume rendering of unstructured grids
Object space (OS) parallelization of an efficient direct volume rendering algorithm for unstructured grids on distributed-memory architectures is investigated. The adaptive OS de...
Cevdet Aykanat, Berkant Barla Cambazoglu, Ferit Fi...
TWC
2008
193views more  TWC 2008»
15 years 6 months ago
Coverage for target localization in wireless sensor networks
Target tracking and localization are important applications in wireless sensor networks. Although the coverage problem for target detection has been intensively studied, few consi...
Wei Wang 0002, Vikram Srinivasan, Bang Wang, Kee C...
TWC
2008
176views more  TWC 2008»
15 years 6 months ago
Asynchronous distributed power and rate control in ad hoc networks: a game-theoretic approach
This paper analyzes distributed asynchronous power and rate control for wireless ad hoc networks. Importantly, all network transmitters are considered to be independent of any mana...
Stepán Kucera, Sonia Aïssa, Koji Yamam...
TWC
2008
75views more  TWC 2008»
15 years 6 months ago
Transmission Schemes for Multicarrier Broadcast and Unicast Hybrid Systems
Abstract--Wireless infrastructures can be conveniently categorized into two types: those that provide point-to-point `unicast' connectivity (e.g., cellular) and others that ar...
Hongxiang Li, Bin Liu, Hui Liu