3116 search results - page 462 / 624 » Positively dependent types |
178
click to vote
RSP
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...
149
click to vote
SMI
2006
IEEE
16 years 15 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 ...
156
click to vote
TRIDENTCOM
2006
IEEE
16 years 15 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...
166
click to vote
MM
2006
ACM
16 years 14 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...
172
click to vote
SOUPS
2006
ACM
16 years 14 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...