1999 search results - page 285 / 400 » Dependently Typed Grammars |
147
click to vote
SMI
2006
IEEE
16 years 12 days ago
2006
IEEE
Most real world objects consist of non-uniform materials; as a result, during deformation the bending and shearing are distributed non-uniformly and depend on the local stiffness ...
151
click to vote
TRIDENTCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
162
click to vote
MM
2006
ACM
16 years 10 days ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stoke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotonou...
170
click to vote
SOUPS
2006
ACM
16 years 10 days ago
2006
ACM
We introduce a new anti-phishing solution, the Web Wallet. The Web Wallet is a browser sidebar which users can use to submit their sensitive information online. It detects phishin...
181
click to vote
AICCSA
2005
IEEE
16 years 22 hour ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...