Sciweavers

1138 search results - page 28 / 228
» Talking about concerns
Sort
View
AMAST
2004
Springer
15 years 5 months 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
HICSS
2008
IEEE
106views Biometrics» more  HICSS 2008»
15 years 6 months ago
Of Paper Trails and Voter Receipts
The Internet pervades virtually every aspect of our daily lives, and it seems there is no area that is immune from computing solutions. Computers can do things faster, with greate...
Alec Yasinsac, Matt Bishop
PSYCHNOLOGY
2007
96views more  PSYCHNOLOGY 2007»
14 years 11 months ago
A First-time Wireless Internet Connection: More Than Just Clicking on a Link
In the context of understanding the particular use made of nomad Internet and mobile computing in its interactional dimension, this article examines the detail of a first-time con...
Dimitri Voilmy, Karine Lan Hing Ting
VMCAI
2010
Springer
15 years 6 months ago
An Analysis of Permutations in Arrays
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
Valentin Perrelle, Nicolas Halbwachs
CAD
2004
Springer
14 years 11 months ago
Teaching meshes, subdivision and multiresolution techniques
In recent years, geometry processing algorithms that directly operate on polygonal meshes have become an indispensable tool in computer graphics, CAD/CAM applications, numerical s...
Stephan Bischoff, Leif Kobbelt