Sciweavers

7811 search results - page 352 / 1563
» computer 2004
Sort
View
AMAST
2004
Springer
16 years 1 days ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
ICCS
2004
Springer
16 years 1 days ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
ACE
2004
164views Education» more  ACE 2004»
15 years 8 months ago
What Drives Curriculum Change?
While promotional literature about computer science programs may claim that curricula are determined by the needs of the students and by international best practice, the reality i...
Paul Gruba, Alistair Moffat, Harald Sønderg...
JFPLC
2004
15 years 8 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
WSC
2004
15 years 8 months ago
Exact Simulation of Option Greeks under Stochastic Volatility and Jump Diffusion Models
This paper derives Monte Carlo simulation estimators to compute option price derivatives, i.e., the `Greeks,' under Heston's stochastic volatility model and some variant...
Mark Broadie, Özgür Kaya