3387 search results - page 400 / 678 » Automating the Metamodeling Process |
240
click to vote
FPT
2005
IEEE
16 years 6 days ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
188
click to vote
ISMAR
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
154
Voted
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
180
click to vote
WCRE
2005
IEEE
16 years 5 days ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
145
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...