Sciweavers

225 search results - page 9 / 45
» Individual resistance to IT innovations
Sort
View
JDCTA
2010
187views more  JDCTA 2010»
13 years 2 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
EWCBR
2008
Springer
13 years 9 months ago
Semantics and Experience in the Future Web
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
Enric Plaza
PKDD
2000
Springer
107views Data Mining» more  PKDD 2000»
13 years 11 months ago
Expert Constrained Clustering: A Symbolic Approach
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
Fabrice Rossi, Frédérick Vautrain
ICRA
2005
IEEE
104views Robotics» more  ICRA 2005»
14 years 1 months ago
RehAbilitative Knee Orthosis Driven by Electro-Rheological Fluid Based Actuators
- This work aims to demonstrate the feasibility of using Electro-Rheological Fluid (ERF) actuators in orthotics, creating a new breed of rehabilitation devices. ERFs are fluids tha...
Jason Nikitczuk, Brian Weinberg, Constantinos Mavr...
HPCA
2012
IEEE
12 years 3 months ago
Improving write operations in MLC phase change memory
Phase change memory (PCM) recently has emerged as a promising technology to meet the fast growing demand for large capacity memory in modern computer systems. In particular, multi...
Lei Jiang, Bo Zhao, Youtao Zhang, Jun Yang 0002, B...