4609 search results - page 821 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
JIRS
2007
15 years 5 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
188
click to vote
JOT
2007
15 years 5 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
182
click to vote
TVCG
2008
15 years 5 months ago
2008
Graphs have been widely used to model relationships among data. For large graphs, excessive edge crossings make the display visually cluttered and thus difficult to explore. In thi...
140
click to vote
TVCG
2008
15 years 5 months ago
2008
Grid-based methods have difficulty resolving features on or below the scale of the underlying grid. Although adaptive methods (e.g., RLE, octrees) can alleviate this to some degree...
202
click to vote
VLSISP
2008
15 years 5 months ago
2008
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...