Sciweavers

3318 search results - page 241 / 664
» The Weak Instance Model
Sort
View
CBSE
2007
Springer
16 years 5 days ago
Data Encapsulation in Software Components
Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...
Kung-Kiu Lau, Faris M. Taweel
ICSOC
2007
Springer
16 years 4 days ago
Stochastic COWS
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Davide Prandi, Paola Quaglia
STACS
2005
Springer
15 years 11 months ago
Robust Polynomials and Quantum Algorithms
We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We ...
Harry Buhrman, Ilan Newman, Hein Röhrig, Rona...
CSR
2008
Springer
15 years 7 months ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
HEURISTICS
2006
109views more  HEURISTICS 2006»
15 years 6 months ago
A scatter search algorithm for project scheduling under partially renewable resources
In this paper we develop a heuristic algorithm, based on Scatter Search, for project scheduling problems under partially renewable resources. This new type of resource can be view...
Ramón Alvarez-Valdés, Enric Crespo, ...