8582 search results - page 337 / 1717 » Here or There |
179
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
159
click to vote
DSD
2005
IEEE
16 years 13 days ago
2005
IEEE
It is a challenge to provide an efficient healthcare service for countries with continental dimensions. Mechanisms for a more efficient and better attendance of patients are nec...
149
click to vote
ICALT
2005
IEEE
16 years 13 days ago
2005
IEEE
Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
175
click to vote
ICDAR
2005
IEEE
16 years 13 days ago
2005
IEEE
The ScatterType CAPTCHA, designed to resist character– segmentation attacks and shown to be highly legible to human readers, is analyzed for vulnerabilities and is offered for e...
179
click to vote
ICDCSW
2005
IEEE
16 years 13 days ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...