4007 search results - page 673 / 802 » Automotive Software Integration |
133
Voted
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
We present a strategy for answering fact-based natural language questions that is guided by a characterization of realworld user queries. Our approach, implemented in a system cal...
134
Voted
CPE
2003
Springer
15 years 9 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
130
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
141
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
154
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...