3119 search results - page 474 / 624 » General Default Logic |
163
click to vote
CADE
2004
Springer
16 years 6 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...
170
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
259
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
252
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Many kinds of real-life data exhibit logical ordering among their data items and are thus sequential in nature. However, traditional online analytical processing (OLAP) systems an...
256
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...