4166 search results - page 735 / 834 » Automating the constraining process |
116
click to vote
IVC
2008
15 years 3 months ago
2008
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
126
click to vote
IJSEKE
2006
15 years 3 months ago
2006
hibiting the characteristics of abstraction, encapsulation, genericity, inheritance, polymorphism, concurrency and exception handling. To address the difficulty of testing the feat...
140
click to vote
IJSEKE
2006
15 years 3 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
140
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
124
click to vote
JWSR
2008
15 years 3 months ago
2008
: Web Services can be used to automate business activities that span multiple enterprises over the Internet. Such business activities require a coordination protocol to reach consi...