10038 search results - page 1702 / 2008 » Model Checking for Managers |
175
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
338
click to vote
CIDR
2011
14 years 10 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
195
click to vote
ESSOS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
170
click to vote
3DUI
2011
14 years 6 months ago
2011
We present a method for improved release of whole-hand virtual grasps. It addresses the problem of objects “sticking” during release after the user’s (real) fingers interpen...
194
click to vote
IACR
2011
14 years 6 months ago
2011
Although malleability is undesirable in traditional digital signatures, schemes with limited malleability properties enable interesting functionalities that may be impossible to o...