13618 search results - page 211 / 2724 » The Newton Operating System |
148
click to vote
UIST
1998
ACM
15 years 10 months ago
1998
ACM
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...
161
click to vote
MVA
2007
15 years 8 months ago
2007
Iris image quality assessment is an important part of iris recognition system because the qualities of iris images would largely influence the recognition results. In this paper, ...
180
click to vote
ENTCS
2008
15 years 6 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
161
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
187
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...