1075 search results - page 59 / 215 » Toward a Verified Relational Database Management System |
258
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
228
click to vote
VLDB
2001
ACM
16 years 4 months ago
2001
ACM
: XML is rapidly emerging as a standard for exchanging business data on the World Wide Web. For the foreseeable future, however, most business data will continue to be stored in re...
126
click to vote
PVLDB
2010
15 years 2 months ago
2010
Applications from several domains are now being written to process live data originating from hardware and softwarebased streaming sources. Many of these applications have been wr...
147
click to vote
ICETE
2004
15 years 5 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
175
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...