892 search results - page 124 / 179 » Strategies in sentential reasoning |
86
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Automated teller machine (ATM) frauds are increasing drastically these days. When analyzing the most common attacks and the reasons for successful frauds, it becomes apparent that...
87
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
91
Voted
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
103
Voted
ICAC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
114
click to vote
MOMPES
2009
IEEE
15 years 7 months ago
2009
IEEE
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...