1792 search results - page 139 / 359 » e-Participation and Decision Analysis |
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
ICB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...
ICCBR
2007
Springer
15 years 5 months ago
2007
Springer
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...
83
Voted
SAS
2007
Springer
15 years 5 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
105
click to vote
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...