1974 search results - page 183 / 395 » A Library System for Small-Scale Library |
109
click to vote
JIPS
2006
15 years 1 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
112
click to vote
ENTCS
2002
15 years 1 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
132
click to vote
CLEF
2007
Springer
15 years 8 months ago
2007
Springer
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...
127
Voted
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
94
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...