3771 search results - page 273 / 755 » Subobject Transformation Systems |
130
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
164
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
142
click to vote
IC
2003
15 years 5 months ago
2003
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
126
click to vote
PVLDB
2008
15 years 3 months ago
2008
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
116
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes realtime and robust tracking of a planar motion target by matched filter implemented on the CMOS+FPGA vision system. It is required to obtain positional a...