1075 search results - page 51 / 215 » Toward a Verified Relational Database Management System |
186
click to vote
DEBU
2010
15 years 4 months ago
2010
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
153
click to vote
ISI
2008
Springer
15 years 4 months ago
2008
Springer
Pervasive information systems give an overview of what digital environments should look like in the future. From a data-centric point of view, traditional databases have to be used...
122
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: In the last decade, automotive systems changed from traditional mechanical or mechatronical systems towards software intensive systems, because more and more functionalit...
122
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
157
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...