358 search results - page 14 / 72 » A Verification Methodology for Model Fields |
115
click to vote
PRESENCE
2007
14 years 9 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
ASE
2008
14 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
WSC
2008
14 years 11 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
IV
2008
IEEE
15 years 3 months ago
2008
IEEE
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...