687 search results - page 42 / 138 » Specification and Verification of Model Transformations Usin... |
155
click to vote
CSI
2008
15 years 6 months ago
2008
An identity-based (ID-based) universal designated verifier signature (ID-UDVS) scheme allows a signature holder to designate a specific verifier of the signature by using a simpli...
187
click to vote
VCIP
2000
2000
Three-dimensional shape-adaptive discrete wavelet transforms for efficient object-based video coding
15 years 7 months ago
In this paper, we present an object-based coding scheme using three-dimensional shape-adaptive discrete wavelet transforms (SA-DWT). Rather than straightforward extension of 2D SA...
165
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
150
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
143
click to vote
CSEE
2000
Springer
15 years 10 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...