4007 search results - page 281 / 802 » Automotive Software Integration |
180
click to vote
FSE
2004
Springer
15 years 10 months ago
2004
Springer
ded abstract of this paper appears in Fast Software Encryption, FSE 2004, Lecture Notes in Computer Science, W. Meier and B. Roy editors, Springer-Verlag, 2004. This is the full ve...
222
Voted
DILS
2008
Springer
15 years 8 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...
221
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
208
click to vote
AIS
2004
Springer
16 years 4 days ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
176
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...