5525 search results - page 298 / 1105 » Verification of Model Transformations |
161
click to vote
ESWS
2007
Springer
16 years 12 days ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
157
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Multisignatures allow n signers to produce a short joint signature on a single message. Multisignatures were achieved in the plain model with a non-interactive protocol in groups ...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
146
click to vote
ACL
2008
15 years 7 months ago
2008
This paper investigates transforms of split dependency grammars into unlexicalised context-free grammars annotated with hidden symbols. Our best unlexicalised grammar achieves an ...
165
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Kernel associative memory (KAM) has previously been proposed as an efficient scheme for face recognition. In this paper, a hybrid method of combining KAM and Gabor wavelet transfo...