5184 search results - page 801 / 1037 » Computer support for mechatronic control system design |
163
click to vote
FROCOS
2005
Springer
16 years 23 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
194
click to vote
IPPS
2003
IEEE
16 years 15 days ago
2003
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
181
click to vote
ISWC
2003
IEEE
16 years 15 days ago
2003
IEEE
We present extensions and modifications that we have made to a cursorless menu navigation interface that is controlled by multiple pressure-sensitive linear strips. Our approach i...
206
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
189
click to vote
TIP
2008
15 years 7 months ago
2008
Structured light vision systems have been successfully used for accurate measurement of 3-D surfaces in computer vision. However, their applications are mainly limited to scanning ...