1961 search results - page 296 / 393 » PicoDBMS: Validation and Experience |
187
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
185
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
In a Web database that dynamically provides information in response to user queries, two distinct schemas, interface schema (the schema users can query) and result schema (the sch...
152
click to vote
WEBDB
2004
Springer
15 years 11 months ago
2004
Springer
A major problem in web database applications and on the Internet in general is the scalable delivery of data. One proposed solution for this problem is a hybrid system that uses m...
155
click to vote
AIPR
2003
IEEE
15 years 11 months ago
2003
IEEE
In the research reported in this paper, we propose to overcome the unavailability of Global Positioning System (GPS) using combined information obtained from a scanning LADAR rang...
148
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
In today’s deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field prog...