6239 search results - page 29 / 1248 » From Zinc to Design Model |
FORTE
2004
14 years 11 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
103
click to vote
ADVIS
2006
Springer
15 years 3 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
C5
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper explores ways by which multiple authors can annotate 3D models from multiple viewpoints in a 3D collaborative environment, with particular reference to the environment ...
122
click to vote
FPT
2005
IEEE
15 years 3 months 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...
79
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper is concerned with the use of a spherical projection model to design optimal visual features for visual servoing. Here two special targets are considered: a sphere ma...