2642 search results - page 128 / 529 » The development of Chez Scheme |
ETS
2002
IEEE
14 years 9 months ago
2002
IEEE
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...
MCS
2007
Springer
14 years 9 months ago
2007
Springer
We describe a Monte Carlo method for the numerical computation of the principal eigenvalue of the Laplace operator in a bounded domain with Dirichlet conditions. It is based on th...
SMI
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
: An inverse iterative algorithm for microwave imaging based on moment method solution is presented here. The iterative scheme has been developed on constrained optimization techni...
CRYPTO
2012
Springer
13 years 12 days ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...