Sciweavers

12289 search results - page 658 / 2458
» computing 2006
Sort
View
IPPS
2006
IEEE
16 years 1 months ago
High-level execution and communication support for parallel grid applications in JGrid
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
Szabolcs Pota, Zoltan Juhasz
ENTCS
2006
138views more  ENTCS 2006»
15 years 7 months ago
Model Checking Russian Cards
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van...
DCC
2006
IEEE
16 years 6 months ago
Asymptotic Nonlinearity of Boolean Functions
Boolean functions on the space Fm 2 are not only important in the theory of error-correcting codes, but also in cryptography. In these two cases, the nonlinearity of these functio...
François Rodier
ERSHOV
2006
Springer
15 years 11 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer
ICPR
2006
IEEE
16 years 8 months ago
A Global Solution to the SFS Problem Using B-spline Surface and Simulated Annealing
This paper restates the shape from shading problem regarding both surface modeling and optimization. We combine the use of a B-spline as 3D model for the scene surface and the use...
Frédéric Courteille, Jean-Denis Duro...