7890 search results - page 1259 / 1578 » The MathSAT 3 System |
170
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
255
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Enabling keyword queries over relational databases (KQDB) benefits a large population of users who have difficulty in understanding the database schema or using SQLs. However, sin...
266
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...
287
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
191
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
PIPES is a flexible and extensible infrastructure providing fundamental building blocks to implement a data stream management system (DSMS). It is seamlessly integrated into the J...