4007 search results - page 695 / 802 » Automotive Software Integration |
127
click to vote
ECIS
2000
15 years 5 months ago
2000
This paper presents a Web-based, database-oriented set of applications, namely "Public Information" and "Electronic Voting", to support information services (ex...
147
click to vote
DS
1997
15 years 5 months ago
1997
Determining attribute correspondences is a difficult, time-consuming, knowledge-intensive part of database integration. We report on experiences with tools that identified candi...
125
click to vote
WSC
1998
15 years 5 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
130
click to vote
FORTE
1994
15 years 5 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
117
click to vote
MVA
1992
15 years 5 months ago
1992
2 Computational Theory The processing of biological specimens or the 2.1 Overview examination of material surfaces for quality control requires a fast and precise autofocus system....