6197 search results - page 955 / 1240 » Sandbridge Software Tools |
165
click to vote
ICCSA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...
188
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
165
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
148
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
185
click to vote
CLEF
2003
Springer
15 years 12 months ago
2003
Springer
Fusion and optimization based on relevance judgements have proven to be successful strategies in information retrieval. In this year's CLEF campaign we applied these strategi...