1075 search results - page 35 / 215 » Toward a Verified Relational Database Management System |
105
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we propose a methodology to perform a comparison between a legal document and its related handwritten summary. We thus describe the algorithms that verify when a hum...
144
click to vote
VLDB
2000
ACM
15 years 7 months ago
2000
ACM
TimesTen Performance Software's Front-Tier product is an application-tier data cache that inter-operates with disk-based relational database management systems (RDBMSs) to ac...
137
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
155
click to vote
DEBU
2006
15 years 4 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
131
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...