Sciweavers

8197 search results - page 187 / 1640
» Adaptive functional programming
Sort
View
ISPEC
2005
Springer
15 years 11 months ago
A Practical Aspect Framework for Enforcing Fine-Grained Access Control in Web Applications
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
Kung Chen, Chih-Mao Huang
MOBICOM
1999
ACM
15 years 10 months ago
Next Century Challenges: RadioActive Networks
A key challenge facing wireless networking is to utilize the spectrum as e ciently as possible given current channel conditions and in the most e ective way for each application. ...
Vanu G. Bose, David Wetherall, John V. Guttag
APPROX
2006
Springer
120views Algorithms» more  APPROX 2006»
15 years 10 months ago
Single-Source Stochastic Routing
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
Shuchi Chawla, Tim Roughgarden
SCP
2011
255views Communications» more  SCP 2011»
15 years 1 months ago
Map fusion for nested datatypes in intensional type theory
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
Ralph Matthes
GECCO
2006
Springer
148views Optimization» more  GECCO 2006»
15 years 10 months ago
Behavioural GP diversity for dynamic environments: an application in hedge fund investment
We present a new mechanism for preserving phenotypic behavioural diversity in a Genetic Programming application for hedge fund portfolio optimization, and provide experimental res...
Wei Yan, Christopher D. Clack