31324 search results - page 184 / 6265 » Compare |
114
Voted
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
103
Voted
SERA
2005
Springer
15 years 10 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
132
Voted
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
133
Voted
TCC
2005
Springer
15 years 10 months ago
2005
Springer
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
125
Voted
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
This paper investigates one of the existing methods for measuring usability – Logic Scoring Preference (LSP), and discusses the results of two formal experiments carried out to a...