Sciweavers

1582 search results - page 240 / 317
» Mathematical Tools for Physics
Sort
View
114
Voted
JDCTA
2010
187views more  JDCTA 2010»
14 years 7 months ago
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
Bo Meng, Wei Huang, Zimao Li, Dejun Wang
91
Voted
CHI
2005
ACM
16 years 1 months ago
Extending tangible interfaces for education: digital montessori-inspired manipulatives
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...
Oren Zuckerman, Saeed Arida, Mitchel Resnick
SIGMOD
2007
ACM
141views Database» more  SIGMOD 2007»
16 years 28 days ago
Storage workload estimation for database management systems
Modern storage systems are sophisticated. Simple directattached storage devices are giving way to storage systems that are shared, flexible, virtualized and network-attached. Toda...
Oguzhan Ozmen, Kenneth Salem, Mustafa Uysal, M. Ho...
115
Voted
CHI
2010
ACM
15 years 7 months ago
MouseLight: bimanual interactions on digital paper using a pen and a spatially-aware mobile projector
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...
Hyunyoung Song, François Guimbretièr...
102
Voted
TRIDENTCOM
2008
IEEE
15 years 7 months ago
Virtual integrated TCP testbed (VITT)
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...
Carlo Caini, Rosario Firrincieli, Renzo Davoli, Da...