5525 search results - page 223 / 1105 » Verification of Model Transformations |
156
click to vote
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
121
click to vote
DGO
2008
15 years 5 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
130
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose a novel face hallucination framework based on image patches, which exploits local geometry structures of overlapping patches to hallucinate different com...
134
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
135
click to vote
FCS
2006
15 years 5 months ago
2006
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...