1075 search results - page 47 / 215 » Toward a Verified Relational Database Management System |
131
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Network monitoring is a complex task that generally requires the use of different tools for specific purposes. This paper describes a flexible network monitoring tool, called Pa...
122
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...
135
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
123
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evi...
132
click to vote
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...