15635 search results - page 198 / 3127 » Modelling and Design of VAML |
173
click to vote
BTW
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Most available approaches for XML schema evolution specify the evolution steps for an XML schema or a DTD. This article will show that schema evolution can also be realiz...
189
click to vote
ASIACRYPT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...
142
click to vote
FPL
2005
Springer
15 years 12 months ago
2005
Springer
Benefits of Field Programmable Gate Arrays (FPGAs) have lead to a spectrum of use ranging from consumer products to astronautics. This diversity necessitates the need to evaluate ...
140
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
205
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...