Sciweavers

5684 search results - page 979 / 1137
» Computing with active dendrites
Sort
View
TOPLAS
2008
101views more  TOPLAS 2008»
15 years 4 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...
129
Voted
JSCIC
2007
165views more  JSCIC 2007»
15 years 4 months ago
A Nonlinear Multigrid Method for Total Variation Minimization from Image Restoration
Image restoration has been an active research topic and variational formulations are particularly effective in high quality recovery. Although there exist many modelling and theore...
Ke Chen 0002, Xue-Cheng Tai
141
Voted
TWC
2008
109views more  TWC 2008»
15 years 4 months ago
Service Time Approximation in IEEE 802.11 Single-Hop Ad Hoc Networks
Abstract-- This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets success...
Atef Abdrabou, Weihua Zhuang
143
Voted
JUCS
2007
91views more  JUCS 2007»
15 years 4 months ago
Generative Instructional Engineering of Competence Development Programmes
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
Juan Manuel Dodero, Salvador Sánchez Alonso...
JUCS
2007
133views more  JUCS 2007»
15 years 4 months ago
Building Immersive Conversation Environment Using Locomotive Interactive Character
: Generating composite human motion such as locomotion and gestures is important for interactive applications, such as interactive storytelling and computer games. In interactive s...
Rai Chan, Junichi Hoshino